Published Papers (under construction)
Journal Papers
-
Key establishment protocols for secure
mobile communications: a critical survey (with Colin Boyd)
Computer Communications, Vol. 23, No.
5-6, pp. 575-587, March 2000. Special issue on Recent Advances in Mobile
Communication Networks. Preliminary version appeared in the proceedings
of the ACISP'98 conference.
Conference/Workshop Papers
-
Two Undetectable On-line Guessing Attacks Revisited
(with Colin Boyd)
In Proceedings of
National Workshop on Cryptology - 2003, Chennai, India.
-
Using a formal technique for protocol idealization:
A cautionary note
[Abstract]
IIn Proceedings of 13th International Workshop
on Database and Expert Systems Applications - W07: International Workshop
on Trust and Privacy in Digital Business (TrustBus), pp. 468-472, IEEE
Computer Society Press, September 2002.