Online / 6 & 7 February 2021


Dominic Mulligan

Photo of Dominic Mulligan

Dominic is a Staff Research Engineer within the Systems group at Arm Research, Cambridge, UK. His interests at Arm include exploring the use of hardware-based trusted execution environments for privacy-preserving compute, and the formal verification of hybrid hardware-software systems. Prior to joining Arm, Dominic was a postdoc at the Computer Laboratory at the University of Cambridge and in the Dipartimento di Science dell'Informazione at the University of Bologna, working on the formal specification and verification of systems software such as C compilers and linkers.


Title Day Room Track Start End
Veracruz: privacy-preserving collaborative compute Saturday D.hardware.trusted Hardware-Aided Trusted Computing 10:30 10:55