26. National Security Australia 2009 at Dockside Convention Centreand Exhibition Centre, Sydney, Australia.
- Organised crime groups in cyberspace: a typology
- Date: 23 - 24 March 2009 (Forthcoming)
25. 2008 Conference on Criminal Problems and Intervention Strategy (2008年犯罪問題與對策國際研討會) at Department of Criminology, National Chung-Cheng University (国立中正大学犯罪学研究所), Taipei, Taiwan.
- Politically exposed persons (PEPs): risks and mitigation
- Date: 22 - 23 November 2008 (Forthcoming)
24. China Anti-Money Laundering Monitoring and Analysis Center (中国反洗钱监测分析中心), Beijing, China.
- The use of technology to facilitate the transfer/flow of funds
- Date: 8 April 2008
23. Department of Criminology, National Chung-Cheng University (国立中正大学犯罪学研究所), Taipei, Taiwan.
- Anti-money laundering and counter terrorism financing research
- Date: 19 March 2008
22. National Security Australia 2008 at Sydney Convention and Exhibition Centre, Australia.
- The cyber crime in and from China
- Date: 6-7 March 2008
21. Proceeds of Crime Working Group at Australian Federal Police (AFP) Sydney Headquarters, Australia.
- The use of technology to facilitate the transfer/flow of funds
- Date: 27 November 2007
20. International Conference on Organized Crime in Asia at National University of Singapore, Singapore.
- Criminal exploitation of online systems by organised crime groups
- Date: 28-29 June 2007
19. Cyber Crime In Focus - Prevention and Response conferenceat Crown Plaza Hotel Darling Harbour, Sydney, Australia.
- High Tech Crime Tools Review
- Date: 11 December 2006
18. Attorney-General's Department at Canberra, Australia.
- Cyber Threats and Safeguards (jointly with Rob McCusker)
- Date: 13 September 2006
17. Institute for InfoComm Research (I2R) at Singapore.
- Refuting Security Proofs for Tripartite Key Exchange with Model Checker in Planning Problem Setting
- Date: 20 July 2006
- Seminar Details can be viewed from I2R's Seminar@ InfoComm Security Department site at http://www.i2r.a-star.edu.sg/icsd/seminars.html
16. SIM University at Singapore.
- Key Establishment: An Overview
- Date: 21 July 2006.
15. Universität Potsdam / Institut für Informatikat Berlin, Germany.
- Refuting Security Proofs for Tripartite Key Exchange with Model Checker in Planning Problem Setting
- Date: 11 Jul 2006
- Seminar Details can be viewed from http://www.cs.uni-potsdam.de/wv/seminar/
14. 19th IEEE Computer Security Foundations Workshop - CSFW 2006 at Venice, Italy.
- Refuting Security Proofs for Tripartite Key Exchange with Model Checker in Planning Problem Setting
- Date: 7 Jul 2006
13. University of Western Sydney / School of Computing and Information Technology at Sydney, Australia.
- Refuting Security Proofs for Tripartite Key Exchange with Model Checker in Planning Problem Setting
- Date: 24 Feb 2006
12. Information Security Institute / Queensland University of Tecnhnology at Brisbane, Australia.
- Ph.D. Defense Seminar: Key Establishment -- Proofs and Refutations
- Internal Panel: Prof. Colin Boyd, Prof. Colin Fidge, Dr. Greg Maitland
- Venue: Gardens Point campus, S Block, Room 301
- Date: 02 Feb 2006
11. Singapore Management University / School of Information Systems at Singapore.
- Key Establishment -- Proofs and Refutations: An Overview
- Chaired by: A/Prof. Yingjiu Li
- Date: 12 Dec 2005
- Seminar Details can be viewed from SMU's Seminar and Visitors site at http://www.sis.smu.edu.sg/Research/seminar_visitors_05.asp
10. Asiacrypt 2005 at Chennai, India.
- Errors in Computational Complexity Proofs for Protocols
- Date: 04-08 Dec 2005
9. University of Western Sydney / School of Computing and Information Technology at Sydney, Australia.
- Proofs and Specifications for Cryptographic Protocols: An Overview
- Date: 25 Nov 2005
8. Information Security Institute (ISI) at Brisbane, Australia.
- Cryptographic Key Establishment Protocols: An Overview
(Presentation for Vietnamese Delegation) - Date: 01 Nov 2005
7. Information Security Institute (ISI) at Brisbane, Australia.
- Seminar Presentation: On Session Key Construction in Provably-Secure Key Establishment Protocols
- Date: 01 Sep 2005
6. 10th Australasian Conference on Information Security and Privacy - ACISP 2005 at Brisbane, Australia.
- Security Requirements for Key Establishment Proof Models: Revisiting Bellare--Rogaway and Jeong--Katz--Lee Protocols
- Date: 06 Jul 2005
5. Institute for InfoComm Research (I2R) at Singapore.
- On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited
- Date: 21 Sep 2004
- Seminar Details can be viewed from I2R's Seminar@ InfoComm Security Department site at http://www.i2r.a-star.edu.sg/icsd/seminars.html
4. Fourth Conference on Security in Communication Networks - SCN 2004 at Amalfi, Italy.
- On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited
- Date: 8 - 10 Sep 2004
3. Fraunhofer Institute for Secure Telecommunications at Darmstadt, Germany.
- Complementing Computational Protocol Analysis with Formal Specifications
- Date: 3 Sep 2004
2. Darmstadt University of Technology / Department of Computer Science / Cryptographic Protocols Group at Darmstadt, Germany.
- Complementing Computational Protocol Analysis with Formal Specifications
- Date: 2 Sep 2004
1. IFIP TC1 WG1.7 2nd International Workshop on Formal Aspects in Security and Trust - FAST 2004 at Toulouse, France.
- Complementing Computational Protocol Analysis with Formal Specifications
- Date: 26 - 27 Aug 2004