Allaa Kamil

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 1

Top Topics

Artificial Immune Algorithm

Automated Design

Security Protocols

Cryptographic Algorithms

Top Venues

J. Comput. Secur.

Publications

Thomas Gibson-Robinson, Allaa Kamil, Gavin Lowe
Verifying layered security protocols. J. Comput. Secur. 23 (3) (2015)
Allaa Kamil, Gavin Lowe
Analysing TLS in the strand spaces model. J. Comput. Secur. 19 (5) (2011)
Allaa Kamil, Gavin Lowe
Understanding Abstractions of Secure Channels. Formal Aspects in Security and Trust (2010)
Allaa Kamil, Gavin Lowe
Specifying and Modelling Secure Channels in Strand Spaces. Formal Aspects in Security and Trust (2009)