SPLASH 2023 (series) / Dominic P. Mulligan
Registered user since Mon 27 Feb 2023
Name:Dominic P. Mulligan
Currently a Principal Applied Scientist within the Automated Reasoning Group, Amazon Web Services, Cambridge UK.
Previously a Principal Research Engineer within the Systems Research Group at Arm Research, Cambridge UK, and prior to that a postdoc at the Computer Laboratory, University of Cambridge and the Dipartimento di Scienze dell’Informazione, University of Bologna, Italy.
Affiliation:Amazon Web Services
Research interests:Formal methods, computer security, operating systems and systems software
|SPLASH 2023||A verification methodology for the Arm® Confidential Computing Architecture|
|Show activities from other conferences|
Using general profile