Skip to main content
Research project

Holistic Design of Secure Systems on Capability Hardware

Lead researcher:
Research funder:

Project overview


Lead researcher

Professor Michael Butler

Dean of Engineering and Physical Science

Connect with Michael

Other researchers

Professor vladi Sassone PhD FBCS MAE

Roke/RAEng Research Chair in Cyber Secur

Connect with vladi

Doctor Son Hoang

Lecturer in Cyber-Physical Systems

Research interests

  • Formal System Development
  • Program Semantics

Connect with Son

Doctor Leonardo Aniello

Associate Professor

Research interests

  • <span>Blockchain-based Systems</span>
  • <span>Distributed Systems</span>

Connect with Leonardo

Collaborating research institutes, centres and groups

Back to top