Junior Research Fellow, University College
+44 (0)1865 283565
Room 251, Wolfson Building, Parks Road, Oxford OX1 3QD
I am interested in the verification of layered security protocols. Currently I am making use of the high-level strand spaces model to verify layered security protocols by abstraction.
Thomas Gibson-Robinson is a Junior Research Fellow at University College. He completed his doctorate under the supervision of Gavin Lowe at Oxford. He previously received his MCompSci in 2010 from Oxford.
Tools for Understanding Identity
S. Creese‚ T. Gibson−Robinson‚ M. Goldsmith‚ D. Hodges‚ D. Kim‚ O. Love‚ J.R. C. Nurse‚ B. Pike and J. Schultz
In Technologies for Homeland Security‚ 2013. HST '13. IEEE Conference on. 2013.
Analysing Layered Security Protocols (Draft)
PhD Thesis , type=DPhil Thesis DPhil ThesisType. 2013.
Analysing Applications Layered on Unilaterally Authenticating Protocols
Thomas Gibson−Robinson and Gavin Lowe
In Proceedings of Formal Aspects of Security and Trust (FAST 2011). 2011.