Holistic Design of Secure Systems on Capability Hardware (HD-Sec)

Our research group will be leading the new research project on formal methods and security.