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: Thursday 19 October 2017 10:45:34 by m07811
Expiry Date: Tuesday 17 January 2017 16:19:23
Assembly date: Thu Oct 19 11:45:56 BST 2017
Content ID: 156939