I am a Principal Research Engineer in the Security research group within Arm Research, Cambridge. I currently work on privacy-preserving compute using Trusted Hardware, mainly as part of the Veracruz project which was recently adopted by the LF's Confidential Computing Consortium (CCC).
Prior to joining Arm I was a postdoc in the Computer Laboratory at the University of Cambridge and in the Dipartimento di Scienze dell'Informazione at the University of Bologna.
Aside from security and privacy, I also have interests in theoretical computer science, programming language design and implementation, and formal methods.
Completing your profile allows others to find you.
As you create your own content, ask and answer questions or share your favourite success stories you are building your following.
The information you enter on this page is visible to registered users of the Community.