Alfredo Mazzinghi

Alfredo is a Research Assistant at University of Cambridge and Research Engineer at Capabilities Limited.

Their main research interest is on memory safety in operating systems, but also in tracing an program analysis.
They have developed the initial CHERI pure-capability port of the CheriBSD operating system, which is currently one of the most mature CHERI-enabled code-bases.

Other notable interests are CHERI extensions to QEMU and program tracing and analysis using QEMU. They have also contributed to ports of various other software to CHERI.