Thomas Gibson-Robinson
|
Thomas Gibson-Robinson
Doctoral Student
College Lecturer,
St Catherine's College
Student,
St Catherine's College
thomas.gibson-robinson@cs.ox.ac.uk
+44 (0)1865 610742
Room 426, Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
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.
I am also interested in process algebras, particularly CSP. Recently I have been developing a new type checker, cspmchecker, for CSP which is now available and can also be used online.
Biography
Thomas Gibson-Robinson is a second year doctoral student under the supervision of Gavin Lowe. He previously received his MCompSci in 2010 from Oxford.
Links
Selected Publications
| 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. |
| Tyger: A Tool for Automatically Simulating CSP−Like Languages in CSP Thomas Gibson−Robinson Master's Thesis 2010. |
| On the Refinement Closure of Information−Flow Properties Thomas Gibson−Robinson Master's Thesis 2009. |
Info
|
Themes |
|
|
Activities |
|
|
Supervisor |
|
