Security with a focus on Trusted Computing, specifically TEE's and Remote Attestation. I am interested in implementing secure systems, putting theory into practice. TEE's are relatively new within academia and I am interested to explore them further. This includes the formal verification of communication between the "normal" and "secure" worlds and to develop a framework to determine what personal data should be stored in the "secure" world. I am also interested in secure systems design and information security management.
Formal Methods looking at model checking dealing with the "State Space Explosion" for Classical B Machines. I work in collaboration with the University of Düsseldorf, creators of ProB and University of Twente creators of LTSmin. We have established a link between the two tools, and continuing the work to make the linking of the tools more robust.
Find me on campus Room: 34 BB 02
Page Owner: jw00241
Page Created: Saturday 17 October 2015 16:26:00 by sl0022
Last Modified: Wednesday 2 May 2018 11:58:55 by m07811
Expiry Date: Tuesday 17 January 2017 16:19:23
Assembly date: Sun Jun 24 00:47:59 BST 2018
Content ID: 156939