Allaa Kamil

According to our database, Allaa Kamil authored at least 4 papers between 2009 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Verifying layered security protocols.

Thomas Gibson-Robinson, Allaa Kamil, Gavin Lowe

J. Comput. Secur., 2015

2011

Analysing TLS in the strand spaces model.

Allaa Kamil, Gavin Lowe

J. Comput. Secur., 2011

2010

Understanding Abstractions of Secure Channels.

Allaa Kamil, Gavin Lowe

Proceedings of the Formal Aspects of Security and Trust - 7th International Workshop, 2010

2009

Specifying and Modelling Secure Channels in Strand Spaces.

Allaa Kamil, Gavin Lowe

Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009