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.
Events
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| Veracruz: privacy-preserving collaborative compute | Saturday | D.hardware.trusted | Hardware-Aided Trusted Computing | 10:30 | 10:55 |