November 1, 2017
ARM
I am now a Senior Formal Verification Researcher within the Security and Cryptography Group at ARM Research, Cambridge.
I am now a Senior Formal Verification Researcher within the Security and Cryptography Group at ARM Research, Cambridge.