Michael HuthProfessor of Computer Science
Deputy Director of Research
Security Research Group
To potential PhD students: please apply here for fully funded PhD studentship on Formal Verification of Treaty Processes.
I gratefully acknowledge funding from Intel® Corporation for a research project on Trust Evidence (TRUST 2013 poster, Paper on Foundations, Paper on Tool, Online Tool), and for the development of an Undergraduate teaching module on the design and validation of security protocols (TRUST 2013 poster).
I was General Chair for TRUST 2013 and Program Co-Chair for QEST 2009.
In June 2013, Claire Vishik and I co-organized a Workshop on Addressing R&D Challenges in Cybersecurity: Innovation and Collaboration Strategy.