Scholar

Dominic Mulligan

Google Scholar ID: LI9Nv6UAAAAJ

Principal Applied Scientist, Amazon Web Services

Formal verificationSystemsTheoretical computer scienceComputer security

Citations & Impact

All-time

Citations

476

H-index

i10-index

Publications

Co-authors

list available

Contact

Publications

20 items

Browse publications on Google Scholar (top-right) ↗

Resume (English only)

Academic Achievements

Paper 'Private delegated computations using strong isolation' accepted into a special issue on advances in emerging privacy-preserving computation at IEEE transactions on emerging topics in Computer Science (TETCSI).
Paper 'All watched over by machines of loving grace' — describing the Supervisionary proof-checking system for HOL — has been accepted in the post-proceedings of TYPES 2022.
Paper 'A verification methodology for the Arm Confidential Computing Architecture' co-written with Anthony Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Nathan Chong, and Gustavo Petri has now been accepted for publication at OOPSLA/SPLASH 2023.
Contributed to the Arm Trustworthy AI position paper.
Released an Arm Research technical report on the IceCap and Veracruz confidential-computing projects.
Abstract 'Scalable assurance via verifiable hardware-software contracts' accepted for presentation at the Workshop on Open-source Computer Architecture Research (OSCAR 2022), co-located with ISCA.
Paper 'The Supervisionary proof-checking kernel, or: a work-in-progress towards proof-generating code' — co-authored with Nick Spinale — has been accepted for presentation at the workshop on Principles of Secure Compilation (PriSC 2022), co-located with POPL.
Holds several patents.

Research Experience

Previously worked at Arm Research; currently a Principal Applied Scientist at Amazon Web Services.

Background

Principal Applied Scientist within the Automated Reasoning Group at Amazon Web Services, Cambridge, UK. Works on the verification of correctness and security properties of ultra low-level code.

Miscellany