I received a BSc (Hons) in Computing from Northumbria University, Newcastle (UK) in 1999 and a MSc in Computer Networking from Middlesex University, London (UK) in 2001. I am a Postdoctoral Research Fellow at UNU-IIST since October 2006, after defending my PhD thesis in September 2006. I am currently on sabbatical leave from the Department of Computing at University of Gloucestershire, Cheltenham (UK) where I am a Lecturer in Computer Networking since January 2005. Previously, I have been a Visiting Lecturer at the Harrow School of Computer Science, University of Westminster (Sep 2004 - Jan 2005) and a Research Assistant at Sheffield Hallam University (Nov 2000 - Jan 2002).     


I will be teaching information and network security as part of a Graduate Summer School organised by the International Islamic University, Islamabad (IIUI), on June 18 - July 14 2007, in Islamabad, Pakistan

I will be teaching a course on Network Security as part of the IFIP-UNU Advanced Course on Networking and Security, on August 13-17, 2007, at the Instituto Superior de Transportes e Comunicacoes (ISUTC) in Maputo, Mozambique


Ambassadors of Peace: Experiences of Pakistani and US Exchange Scholars

UNU-IIST Fellowships / Postdoctoral Fellowships / PhD programmes / Schools and courses

Seek Knowledge in China  /  ...on the Great Wall

Events

2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007), September 4, 2007, Lancaster, UK
3rd SKLOIS Conference on Information Security and Cryptology (Inscrypt 2007), Aug 31 - Sep 5, 2007, Xining, China
5th International Conference on Applied Cryptography and Network Security (ACNS'07), June 5-8, 2007, Zhuhai, China
International Conference on Security of Information and Networks (SIN 2007), May 8-10, 2007, TRNC
1st International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert'2007), March 31, 2007, Braga, Portugal
   

Related links

Formal Methods Europe (FME)
Security@FOSAD Mailing list
British Computer Society (BCS) / Information Security Specialist Group / Formal Aspects of Computing Science  
International School on Foundations of Security Analysis and Design (FOSAD) Bertinoro, Italy
ACM Special Interest Group on Security, Audit and Control (SIGSAC)
Zurich Information Security Center Switzerland
COMSATS / Institute of Information Technology (CIIT) Pakistan
Information Security Research Group (ISRG), NUST Institute of Information Technology (NIIT) Pakistan
UK South Eastern Universities Joint Programme in the Foundations of Computing

Antonio Cerone, Steve Schneider, Andrew Gordon, Gavin Lowe, Lawrence Paulson, Martin Abadi, Joshua Guttman, Ross Anderson

Publications (DBLP)

Impact of migrant academics on host higher education institutions, Learning Together: Reshaping higher education in a global age, July 22-24, 2007, Institute of Education (IoE), London, UK

Towards a Quality Model for Open Source Software (OSS), with Antonio Cerone, 1st International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert'2007), March 31, 2007, Braga, Portugal   (Satellite Event of ETAPS 2007) presentation paper

A Biometric Authentication Protocol for 3G Mobile Systems: Modelled and Validated Using CSP and Rank Functions, with Christos Dimitriadis, International Journal of Network Security, Volume 5, No. 1, July 2007, pp.99-111 (ISSN 1816-353X)

A heuristic for constructing rank functions to verify authentication protocols, with Vicky Bush and Steve Schneider, Proceedings of the 3rd International Verification Workshop (VERIFY'06), pp.112-127, August 15-16, 2006, Seattle, USA

Analysing a biometric authentication protocol for 3G mobile systems using CSP and rank functions, with Christos Dimitriadis. In J.A. Clark, R.F. Paige, F.A.C. Polack and P. Brooke, editors, Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, volume 3934 of Lecture Notes in Computer Science, pp.211-226, (ISBN 3-540-33376-2) Springer-Verlag

Analysing the Woo-Lam protocol using CSP and rank functions, with Vicky Bush, Journal of Practice and Research in Information Technology, Volume 38, No. 1, February 2006, pp.19-29 (ISSN 1443-458X) ACS Press

Specifying authentication using signals events in CSP, with Vicky Bush and Steve Schneider. In D. Feng, D. Lin, and M. Yung, editors, Conference on Information Security and Cryptology (CISC'2005), volume 3822 of Lecture Notes in Computer Science, pp.63-74, Beijing, China, December 2005 (ISBN 3-540-30855-5) Springer-Verlag

Modelling a biometric authentication protocol for 3G Mobile Systems using CSP, with Christos Dimitriadis, IASTED International Conference on Communication, Network, and Information Security (CNIS'2005), pp.7-12, Phoenix, US, November 14-16, 2005 (ISBN 0-88986-537-X) ACTA Press.

Analysing the Woo-Lam protocol using CSP and rank functions, with Vicky Bush, Proceedings of the 3rd International Workshop on Security in Information Systems (WOSIS'2005), pp.3-12, Miami, US, May 24-25, 2005 (ISBN 972-8865-25-2) INSTICC Press, Portugal.

Kerberos - specifying authenticity properties using signal events, with Vicky Bush and Steve Schneider, Proceedings of Indonesia Cryptology and Information Security Conference 2005, (INA-CISC2005), pp.87-93, Jakarta, Indonesia, March 30-31, 2005 (ISBN 979-99407-0-2) INFORMATIKA Press, Indonesia.  

A Performance Study of IPSec Protocol, with Samir Al-Khayatt, International Conference on Information & Computer Science (ICICS'04), pp.17-28, King Fahd University of Petroleum & Minerals, Dhahran, Saudi Arabia, Nov 28-30, 2004 (ISBN 9960-07-212-6) KFUPM Press.

Performance of secured communications over Bluetooth, with Stella Mills, International Conference on Information & Computer Science (ICICS'04), pp.375-385, King Fahd University of Petroleum & Minerals, Dhahran, Saudi Arabia, Nov 28-30, 2004 (ISBN 9960-07-212-6) KFUPM Press.

Information Security Education in the UK: a proposed course in Secure E-Commerce Systems, Information Security Curriculum Development Conference (InfoSecCD'04), pp.53-58, Kennesaw State University, US, October 8, 2004 (ISBN 1-59593-048-5) ACM Press.

Performance of authentication and encryption algorithms in IPSec Tunnelling, with Samir Al-Khayatt, Communication Systems, Networks and Digital Signal Processing (CSNDSP'2004), pp.184-187, Newcastle-upon-Tyne, UK, 2004 (ISBN 0-7017-0177-3)

Analysis and Implementation of Virtual Private Network Support in Corporate Networks, with Samir Al-Khayatt, IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN'2004), pp.251-256, Innsbruck, Austria, February 17-19, 2004 (ISBN 0-88986-385-7) ACTA Press.  

A Wireless Network for Multimedia Applications - a Case Study, with Samir Al-Khayatt, Communication Systems, Networks and Digital Signal Processing (CSNDSP'2002), pp.446-449, Staffordshire, UK, 2002 (ISBN 1-90413-305-3) Sheffield Hallam University Press.

A Study of Encrypted, Tunneling Models in Virtual Private Networks, with Samir Al-Khayatt, Babak Akhgar and Jawed Siddiqi, IEEE International Conference on Information Technology: Coding and Computing (ITCC'2002), pp.139-143, Las Vegas, US, April 8-10, 2002 (ISBN 0-7695-1506-1) IEEE Computer Society Press.

Performance of Multimedia Applications with IPSec Tunneling, with Samir Al-Khayatt, Babak Akhgar and Jawed Siddiqi, IEEE International Conference on Information Technology: Coding and Computing (ITCC'2002), pp.134-138, Las Vegas, US, April 8-10, 2002 (ISBN 0-7695-1506-1) IEEE Computer Society Press.

Virtual Private Network Support in a Corporate Network, with Samir Al-Khayatt and Marc Charlesworth, Webnet – World Conference on the WWW and Internet, Orlando, US, 2001.

Technical Reports

Study into the factors and pilot deployment of selective end-point-to-end-point encryption on a LAN, with Samir Al-Khayatt and Marc Charlesworth, JISC evaluation: "Short Studies Progress Report" (Alan Robiette), presented to JISC JCAS - Agenda Item 9, paper JCAS (01) 33 Annex A.

Theses

Analysis and Development of IT Security at TopSoft, MSc Thesis, ICT 4992, Middlesex University, School of Computing Science, January 2001