Viewing profile — kwitaszczyk

That is not true. During the Digital Security by Design programme UKRI was shipping Morello boards to organisations that requested them. Since DSbD is over, the CHERI Alliance has …

That is not true. Two days ago lowRISC announced that OpenTitan used in Google Chromebooks will include CHERI: https://lowrisc.org/news/opentitan-earl-grey-2-to-support-ch... Last …

This is a nice and easy to understand example of a memory-safety bug that CHERI [1] prevents (among other classes of vulnerabilities). Given that the SYSCTL_PROC() macro installs a…

CHERI-RISC-V is being standardised [1], Codasip is working on a commercial implementation of CHERI-RISC-V [2], and lowRISC is working on the Sonata project [3] implementing CHERIoT…

The CHERI ISA does not provide temporal safety features but it allows building temporal safety mechanisms in software. CheriBSD 23.11 includes user-space heap temporal memory safet…

CHERI is not specific to C/C++ but aims to provide primitives at the hardware level that can be used to make software safer (including programming languages) in terms of (spatial a…

"Any UK or international registered business or organisation can request a Morello Board by completing the form below": https://dsbd.tech/get-involved/morello-board-request/ Altern…