Specifying and Modelling Secure Channels in Strand Spaces. - Allaa Kamil; Gavin Lowe (Formal Aspects in Security and Trust, 2009)

Understanding Abstractions of Secure Channels. - Allaa Kamil; Gavin Lowe (Formal Aspects in Security and Trust, 2010)

Analysing TLS in the strand spaces model. - Allaa Kamil; Gavin Lowe (J. Comput. Secur., 2011)

Verifying layered security protocols. - Thomas Gibson-Robinson; Allaa Kamil; Gavin Lowe (J. Comput. Secur., 2015)