Research

CHERI, Digital Security by Design (DSbD) and other R&D work from the Oxon Tech team

Looking for our general IT and business posts? See our main Blog →

14 July 2021

Initial Finds from Running Our Application in CHERI

Running our IoT application in CHERI reveals a bounds fault related to fast inverse square root, demonstrating CHERI's security capabilities in action.

30 June 2021

CHERI Compilation Issues and Getting Around Them

Dealing with compilation issues when porting applications to CHERI, including CMake challenges and cross-compilation strategies.

14 June 2021

Starting the CHERI Porting Process

Starting to port our ARWAIN IoT project code to run on the Morello FVP, including initial C++ compilation and library challenges.

2 June 2021

Some Working CHERI Examples

Testing CHERI code examples on the CheriBuild tools and QEMU virtual machine to prove everything works as expected.

20 May 2021

Up and Running with CheriBuild

Setting up the CHERI development tools and SDK using CheriBuild, and getting a CheriBSD QEMU virtual machine running for testing.

18 May 2021

Diving into CHERI & Morello

An introduction to CHERI capabilities, capability-based security, and the hardware implementations that make them possible.

4 May 2021

DSbD Getting Started

An introduction to Digital Security by Design (DSbD), the CHERI research project, and how Oxon Tech is contributing to the initiative.

31 May 2019

Testing Day at Oldbury Fire Station

Part of our GovTechCatalyst project includes practical tests on site with Mid and West Wales Fire and Rescue Service in real fire conditions.

4 March 2019

GovTechCatalyst Competition Success!

Oxon Tech are 1 of 5 organisations who move to the 1st phase of the GovTechCatalyst Competition from Mid and West Wales Fire and Rescue Service.