Fellow Publications
![](https://www.stcatz.ox.ac.uk/wp-content/uploads/2018/10/journal-of-computer-security-520x290.jpg)
Verifying layered security protocols
Professor Gavin Lowe
Gibson-Robinson, Kamil & Lowe ‘Verifying layered security protocols’ (Journal of Computer Security, 2015).
More InfoGibson-Robinson, Kamil & Lowe ‘Verifying layered security protocols’ (Journal of Computer Security, 2015).
More Info