Home
»
About the AIC
»
Research programs
»
Research staff
»
Kim-Kwang Raymond Choo
Kim-Kwang Raymond Choo
Research Analyst (High Tech Crime and Anti-Money Laundering)
Contact details
Tel: (02) 6260 9238
Fax: (02) 6260 9201
Academic qualifications
- Ph.D. Information Security (Queensland University of Technology)
Selected employment
| Sep - Dec 2009 |
2009 Fulbright (DFAT Professional) Scholar - Rutgers School of Criminal Justice and Palo Alto Research Center, Inc. |
| Sep 2008- |
Visiting Fellow, ARC Centre of Excellence in Policing and Security, Regulatory Institutions Network (RegNet) / Australian National University |
| May 2008- |
Member, International Consultant Group (Research) / United Nations Office on Drugs and Crime (UNODC)- Korean Institute of Criminology "Virtual Forum against Cybercrime" Programme |
| 2006- |
Research Analyst, Australian Institute of Criminology |
| 2006 |
ARC Post-Doctoral Researcher, Intelligent Systems Laboratory / University of Western Sydney |
| 2003-2006 |
Tutor, Queensland University of Technology |
| 2002 |
Tutor, University of South Australia |
| 1995-2001 |
Police Officer, Singapore Police Force |
Selected awards
| 2009 |
Fulbright Professional Scholarship in Australian-United States Alliance Studies sponsored by the Department of Foreign Affairs and Trade (DFAT) |
| 2009 |
Named as one of 100 Emerging Leaders in the Innovation category of The Weekend Australian Magazine/Microsoft's Next 100 series |
| 2008 |
2008 Australia Day Achievement Medallion |
| 2008 |
Wilkes Award for the best paper published in the 2007 volume of the Computer Journal, Oxford University Press |
| 2007 |
2007 Queensland University of Technology Faculty of IT Executive Dean's outstanding PhD thesis commendation |
| 2005 |
Best Student Paper Award for paper accepted and presented at the 10th Australasian Conference on Information Security and Privacy (ACISP 2005) |
| 2000 |
Singapore Police Force Productivity Award (Bronze) |
Current areas of specialisation/expertise
- Authentication
- Cryptography
- Key establishment / exchange protocols
- Provable security
- High tech crime
- Anti-money laundering
List of major projects current and past
- High tech crime research
- Anti-money laundering and counter-terrorist financing
- Cybercrime-Australian computer security survey
- Knowledge based model updating for the correctness of security protocols (Intelligent Systems Laboratory / University of Western Sydney)
- Proofs and animations for cryptographic protocols (Information Security Institute / Queensland University of Technology)
Publications
AIC publications
- Australian Institute of Criminology 2008, Online child grooming laws High tech crime brief no 17.
- Australian Institute of Criminology 2007, The risk of criminal exploitation of online auctions High tech crime brief no 15.
- Australian Institute of Criminology 2007, New methods of transferring value electronically High tech crime brief no 14.
- Australian Institute of Criminology 2006, More high tech crime tools High tech crime brief no 13.
- Australian Institute of Criminology 2006, High tech crime tools High tech crime brief no 12.
- Australian Institute of Criminology 2006, The costs of high tech crime Crime Facts Info no 134, 24 October.
- Australian Institute of Criminology 2006, Underground market in stolen digital information Crime Facts Info no 148, 15 May.
- Choo K-K R 2009. Online child grooming: a literature review on the misuse of social networking sites for grooming children for sexual offences. Research and public policy No 103, Australian Institute of Criminology. http://www.aic.gov.au/publications/current%20series/rpp/101-120/rpp103.aspx
- Choo K-K R 2009. Responding to online child sexual grooming: an industry perspective. Trends & Issues in Crime and Criminal Justice no 379, Australian Institute of Criminology. http://www.aic.gov.au/publications/current%20series/tandi/361-380/tandi379.aspx
- Choo K-K R 2008. Money laundering risks of prepaid stored value cards. Trends & Issues in Crime and Criminal Justice no 363, Australian Institute of Criminology. http://www.aic.gov.au/publications/tandi2/tandi363.html
- Choo K-K R 2007. Zombies and botnets. Trends & Issues in Crime and Criminal Justice no 333, Australian Institute of Criminology. http://www.aic.gov.au/publications/tandi2/tandi333.html
- Choo K-K R, Smith R G and McCusker R 2007. The future of technology-enabled crime in Australia. Trends & Issues in Crime and Criminal Justice no 341, Australian Institute of Criminology. http://www.aic.gov.au/publications/tandi2/tandi341.html
- Choo K-K R, Smith R G and McCusker R 2007. Future directions in technology-enabled crime: 2007-2009. Research and public policy No 78, Australian Institute of Criminology. http://www.aic.gov.au/publications/rpp/78/
- Urbas G and Choo K-K R 2008. Resource materials on technology-enabled crime. Technical and background paper No 28, Australian Institute of Criminology.
Journal articles
- Choo K-K R 2009. Editorial: Cybercrime-A Timely Call from Australia. Pakistan Journal of Criminology 1(1): vii - viii, April
- Choo K-K R 2009. Digital trading in precious metals: combating fraud. e-Finance & Payments Law & Policy 3(4): 8 - 10, April
- Choo K-K R 2009. Money Laundering and Terrorism Financing Risks of Prepaid Cards Instruments. Asian Journal of Criminology 4(1): 11-30, Springer Netherlands.
- Wang S & Cao Z & Cheng Z & Choo K-K R. Efficient and Perfect Forward Secure Identity-Based Key Agreement Protocol in the Escrow Mode. Science in China Series F: Information Sciences, Science Press co-published with Springer-Verlag GmbH. (Forthcoming)
- Zeng P & Cao Z & Choo K-K R & Wang S 2009. Security Weakness in a Dynamic Program Update Protocol for Wireless Sensor Networks. IEEE Communications Letters 13(6): 426-428, IEEE Press
- Zeng P & Cao Z & Choo K-K R & Wang S 2009. On the Anonymity of Some Authentication Schemes for Wireless Communications. IEEE Communications Letters 13(3): 170-171, IEEE Press.
- Wang S & Cao Z & Choo K-K R & Wang L 2009. An Improved Identity-Based Key Agreement Protocol and Its Security Proof. Information Sciences 179(3): 307-318, Elsevier Publishing.
- Choo K-K R 2008. Politically exposed persons (PEPs): risk and mitigation. Journal of Money Laundering Control 11(4):371 - 387 Emerald.
- Choo K-K R 2008. Organised crime groups in cyberspace: a typology. Trends in Organized Crime 11(3): 270 - 295 Springer New York.
- Choo K-K R 2008. Prepaid - primed for crime (2). Money Laundering Bulletin issue 156: 17-20, Informa Law, September
- Choo K-K R 2008. Prepaid - primed for crime. Money Laundering Bulletin issue 155: 9-13, Informa Law, July/August
- Choo K-K R and Smith RG 2008. Criminal exploitation of online systems by organised crime groups. Asian Journal of Criminology 3(1):37-59 Springer Netherlands.
- Choo K-K R 2008. Refuting the Security Claims of Mathuria and Jain (2005) Key Agreement Protocols. International Journal of Network Security 7(1): 15-24, July.
- Choo K-K R 2007. A Proof of Revised Yahalom Protocol in the Bellare and Rogaway (1993) Model. The Computer Journal 50(5): pp. 591-601, Oxford University Press, September. [Wilkes Award for the best paper published in the 2007 volume of the Computer Journal]
- Choo K-K R 2008. An Integrative Framework to Protocol Analysis and Repair: Bellare--Rogaway Model + Planning + Model Checker. Informatica 18(4): 547-548, IOS Press.
- Choo K-K R 2006. On the Security Analysis of Lee, Hwang, & Lee (2004) and Song & Kim (2000) Key Exchange / Agreement Protocols. 17(4): 467-480 Informatica, IOS Press.
- Choo K-K R 2006. Issue Report on Business Adoption of Microsoft Passport. Information Management & Computer Security, 14(3): 218 - 234, Emerald Publisher.
- Choo K-K R & Boyd C & Hitchcock Y 2006. The Importance of Proofs of Security for Key Establishment Protocols: Formal Analysis of Formal Analysis of Jan--Chen, Yang--Shen--Shieh, Kim--Huh--Hwang--Lee, Lin--Sun--Hwang, & Yeh--Sun Protocols. Computer Communications, 29(15): 2788 - 2797 Elsevier Publisher.
- Choo K-K R 2006. On the (In)Security of Lee, Kim, Kim, & Oh (2006) Key Agreement Protocol. International Journal of Network Security, 3(1): 85--94.
- Choo K-K R 2006. Revisiting Lee, Kim, & Yoo (2005) Authenticated Key Agreement Protocol. International Journal of Network Security, 2(1): 64--68.
- Choo K-K R 2006. Revisit Of McCullagh--Barreto Two-Party ID-Based Authenticated Key Agreement Protocols. International Journal of Network Security, 1(3): 154--160.
Media interviews (published)
- Carolyn Quek 2008. When bad times strike, so do more criminals. The Sunday Times, Think section: 33, 30 November
- Adam Saytanides 2008. Prepaid Money-Laundering Concerns Grow. Prepaid Trends 3(23): 1, 7 & 11, 23 October
- Simon Grose 2009. Cybercrime Sherlock. Canberra Times, Computing: 14, 6 April
- Victoria Simos 2009. Chasing the big phish. Herald Sun, Career One: 55, 4 April
- Dahna McConnachie 2009. Fullbright scholar: cyber-crime has multi dimensions and needs co-operative responses. Technology & Business, 4 April
- Fiona Sutton 2009. Fulbright scholarship for UQ Business School graduate. University of Queensland news online, 1 May
- Yuko Narushima 2009. Faceless ID thefts. Sydney Morning Herald: 4, 19 May
- Geraldine Soh 2009. Humans - the Best Anti-Virus Software. S938 Live Singapore, 19 June
- Chris Zappone 2009. CBA's NetBank woes blamed on cyber attack. Sydney Morning Herald, 2 July
Other publications
Book reviews
- Choo K-K R. Book Review: "Global initiatives to secure cyberspace (1st ed.): an emerging landscape". Computing reviews ACM Press. (Forthcoming/published online on 18 June 2009)
- Choo K-K R. Book Review: "Information security management handbook, volume 2 (6th ed.)". Computing reviews ACM Press. (Forthcoming/published online on 5 June 2009)
- Choo K-K R. Book Review: "Crimeware: understanding new attacks and defenses". Computing reviews ACM Press. (Forthcoming / published online on 30 April 2009)
- Choo K-K R. Book Review: "Insider attack and cyber security: beyond the hacker (Advances in Information Security) (1st edition)". Computing reviews ACM Press. (Forthcoming / published online on 31 March 2009)
- Choo K-K R. Book Review: "Phishing and countermeasures: understanding the increasing problem of electronic identity theft". Computing reviews ACM Press. (Forthcoming / published online on 13 Sep 2007)
- Choo K-K R 2009. Book Review: "Handbook of database security: Applications and Trends". Computing reviews 50(6): 349-350, ACM Press
- Choo K-K R 2009. Book Review: "Vulnerability analysis and defense for the Internet". Computing reviews 50(5): 260-261, ACM Press
- Choo K-K R 2008. Book Review: "Privacy on the line: the politics of wiretapping and encryption, updated and expanded edition". The computer journal51(6): 744, Oxford University Press.
- Choo K-K R 2008. Book Review: "Introduction to modern cryptography". Computing reviews 49(11): 655-656, ACM Press.
- Choo K-K R 2008. Book Review: "Essential computer security: everyone's guide to email, Internet, and wireless security". Computing reviews ACM Press 49(10): 580-581
Book and book chapters
- Choo K-K R 2008. Secure Key Establishment. Advances in Information Security Book seriesno 41. Springer Science+Business Media, LLC, December
- Choo K-K R 2009. Zombies and Botnets. In Shweta Puneet, editor, Botnets: A Cyber Threat, ICFAI Press, February.
- Choo K-K R and Smith R 2009. Criminal Exploitation of Online Systems by Organised Crime Groups, in Yvonne Jewkes (Ed), Crime and Media Part 2, SAGE Publishing, March
- Boyd C and Choo K-K R. Formal Models for Key Establishment. In Wenbo Mao and Markus Jakobsson, editors, Cryptographic Protocols, IOS Press. (Forthcoming)
Conference / workshop proceedings
- Choo K-K R 2008. Keynote Address: Criminal exploitation of ICT for child abuse, in Proceedings of 2008 International Conference on Strategies of Child Online Safety. Taipei, Taiwan, 6-7 November 2008. Taiwan: End Children Prostitution, Child Pornography & Trafficking of Children for Sexual Purposes (ECPAT) Taiwan, 8-40.
- Choo K-K R and Smith RG 2007. Criminal exploitation of online systems by organised crime groups. In Narayanan Ganapathy and Mark Craig, editors, Organised Crime in Asia: Governance and Accountability colloquium, Singapore, 28-29 June.
- Phan R C-W, Choo K-K R and Heng S-W 2007. Security of a Leakage-Resilient Protocol for Key Establishment and Mutual Authentication. In International Conference on Provable Security - ProvSec 2007, Wollongong, Australia. Vol. 4784/2007 of Lecture Notes in Computer Science (pp. 169-177), Springer-Verlag, 1-2 Nov.
- Chow SSM and Choo K-K R 2007. Strongly-Secure Identity-based Key Agreement and Anonymous Extension. In Juan Garay, editor, 10th Information Security Conference 2007 - ISC 2007, Valparaiso, Chile, Volume 4779/2007 of Lecture Notes in Computer Science (pp. 203 - 220), Springer-Verlag, 9-12 October.
- Lee B, Choo K-K R, Yang J and Yoo S 2007. Secret Signatures: How to Achieve Business Privacy Efficiently?. In Sehun Kim, Moti Yung and Hyung-Woo Lee, editors, 8th International Workshop on Information Security Applications - WISA 2007, Jeju Island, Korea, Lecture Notes in Computer Science, Springer-Verlag, 27-29 August.
- Choo K-K R 2006. Refuting Security Proofs for Tripartite Key Exchange with Model Checker in Planning Problem Setting. In J Guttman (ed) , 19th IEEE Computer Security Foundations Workshop - CSFW 2006, (pp. 297 - 308), Venice, Italy, IEEE Computer Society Press, 5-7 July.
- Boyd C & Choo K-K R & Mathuria A 2006. An Extension to Bellare and Rogaway (1993) Model: Resetting Compromised Long-Term Keys. In L Batten & R Safavi-Naini (eds) , 11th Australasian Conference on Information Security and Privacy - ACISP 2006 , Melbourne, Australia, Volume 4058/2006 of Lecture Notes in Computer Science (pp. 371 - 382), Springer-Verlag, 3-5 July.
- Tang Q & Choo K-K R 2006. Secure Password-based Authenticated Group Key Agreement for Data-Sharing Peer-to-Peer Networks. In J Zhou, M Yung, & F Bao (eds) , 4th International Conference on Applied Cryptography and Network Security - ACNS 2006 , Singapore, Volume 3989/2006 of Lecture Notes in Computer Science (pp. 162 - 177), Springer-Verlag, 6-9 June.
- Ring J & Choo K-K R & Foo E & Looi M 2006. A New Authentication Mechanism and Key Agreement Protocol for SIP Using Identity-based Cryptography. In A Clark, M McPherson & G Mohay (eds) , AusCERT Asia Pacific Information Technology Security Conference (AusCERT2006): Refereed R&D Stream (pp. 57 - 72), Gold Coast, Australia, University of Queensland Publication, 21 - 26 May.
- Du R & Foo E & Boyd C & Choo K-K R 2006. Formal Analysis of Secure Contracting Protocol for E-Tendering. In R Safavi-Naini, C Steketee & W Susilo (eds) , ACSW Frontiers 2006 - Fourth Australasian Information Security Workshop (AISW-NetSec 2006), Hobart, Australia, Volume 54 - ACSW Frontiers 2004 of the ACS Conferences in Research and Practice in Information Technology (CRPIT) series (pp. 155 - 164), Australian Computer Society, 16 - 19 Jan.
- Choo K-K R & Boyd C & Hitchcock Y 2005. Errors in Computational Complexity Proofs for Protocols. In B Roy (ed) , Advances in Cryptology - Asiacrypt 2005, Chennai, India, Volume 3788/2005 of Lecture Notes in Computer Science (pp. 624 - 643), Springer-Verlag, 4 - 8 Dec.
- Choo K-K R & Boyd C & Hitchcock Y 2005. Examining Indistinguishability-Based Proof Models for Key Establishment Protocols. In B Roy (ed) , Advances in Cryptology - Asiacrypt 2005, Chennai, India, Volume 3788/2005 of Lecture Notes in Computer Science (pp. 585 - 604), Springer-Verlag, 4 - 8 Dec.
- Boyd C & Choo K-K R 2005. [Invited Paper] Security of Two-Party Identity-Based Key Agreement. In E Dawson & S Vaudenay (eds) , 1st International Conference on Cryptology in Malaysia - Mycrypt 2005, Kuala Lumpur, Malaysia, Volume 3715/2005 of Lecture Notes in Computer Science (pp. 229 - 243), Springer-Verlag, 28 Sep - 01 Oct.
- Choo K-K R & Boyd C & Hitchcock Y 2005. On Session Key Construction in Provably-Secure Key Establishment Protocols. In E Dawson & S Vaudenay (eds) , 1st International Conference on Cryptology in Malaysia - Mycrypt 2005, Kuala Lumpur, Malaysia, Volume 3715/2005 of Lecture Notes in Computer Science (pp. 116 - 131), Springer-Verlag, 28 Sep - 01 Oct.
- Choo K-K R & Hitchcock Y 2005. [Best Student Paper Award] Security Requirements for Key Establishment Proof Models: Revisiting Bellare--Rogaway and Jeong--Katz--Lee Protocols. In C Boyd & JM Gonzalez Nieto (eds) , 10th Australasian Conference on Information Security and Privacy - ACISP 2005, Brisbane, Australia, Volume 3574/2005 of Lecture Notes in Computer Science (pp. 429 - 442) , Springer-Verlag, 04 - 06 Jul.
- Au R & Choo K-K R & Looi M 2005. A Secure Anonymous Authorisation Architecture for E-commerce. In proceedings of IEEE International Conference on e-Technology, e-Commerce and e-Service - EEE 2005, Hong Kong, China, (pp. 106 - 111), IEEE Computer Society Press, 29 March - 1 Apr.
- Au R & Vasanta H & Choo K-K R & Looi M 2005. A User-Centric Anonymous Authorisation Framework in E-commerce Environment. In M Janssen, HG Sol & RW Wagenaar (eds) , 6th International Conference on Electronic Commerce - ICEC 2004, Delft, The Netherlands, (pp. 138 - 147), ACM Press, 25 - 27 Oct.
- Choo K-K R & Boyd C & Hitchcock Y & Maitland G 2004. On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited. In B Carlo & S Cimato (eds) , 4th Conference on Security in Communication Networks - SCN 2004, Amalfi, Italy, Volume 3352/2005 of Lecture Notes in Computer Science (pp. 352 - 367), Springer-Verlag, 8 - 10 Sep.
- Choo K-K R & Boyd C & Hitchcock Y & Maitland G 2004. Complementing Computational Protocol Analysis with Formal Specifications. In T Dimitrakos & F Martinelli (eds) , IFIP TC1 WG1.7 2nd International Workshop on Formal Aspects in Security and Trust - FAST 2004, Toulouse, France, Volume 173/2005 of IFIP International Federation for Information Processing Series, Springer-Verlag (pp. 129 - 144) , 26 - 27 Aug.
Seminar presentations
- Choo K-K R 2009. High tech crime research. Presentation to Ministry of Public Security of the People’s Republic of China delegation, Australian Institute of Criminology, 3 July.
- Choo K-K R 2009. Anti-Money Laundering / Counter-Terrorism Financing Research. Presentation to Taiwan's Public Prosecutors delegation, Australian Institute of Criminology, 1 July.
- Choo K-K R & Smith RG 2009. Nature and extent of syntactic and semantic of online personal fraud attacks. 2009 Online Fraud & E-Crime Forum, Sydney, 23 - 24 June.
- Choo K-K R 2009. Criminal exploitation of ICT for child abuse. Presentation to The Hon Sussan Ley MP Shadow Minister for Justice and Customs, Australian Institute of Criminology, 23 June.
- Choo K-K R 2009. Criminal exploitation of social networking for online child grooming. Australian High Tech Crime Conference 2009, University of Technology Sydney, 9 - 11 June.
- Choo K-K R 2009. Organised crime groups in cyberspace: a typology. National Security Australia Conference 2009, Sydney, 23 - 24 March.
- Choo K-K R 2009. High tech criminal threats to the national information infrastructure. Global Security Asia 2009, Singapore, 17 - 19 March.
- Choo K-K R 2008. Politically exposed persons (PEPs): risk and mitigation. 2008 Conference on Criminal Problems and Intervention Strategy, Department of Criminology, National Chung-Cheng University, Taipei, Taiwan, 22 - 23 November.
- Choo K-K R 2008. Anti -money laundering and counter terrorism financing research. Information Security Institute workshop, Queensland University of Technology, Brisbane, Australia, 19 November.
- Choo K-K R 2008. Keynote Address: Criminal exploitation of ICT for child abuse. 2008 Conference on Criminal Problems and Intervention Strategy, End Children Prostitution, Child Pornography & Trafficking of Children for Sexual Purposes (ECPAT) Taiwan, Taiwan, 6-7 November 2008.
- Choo K-K. R. 2008. The use of technology to facilitate the transfer/flow of funds. China Anti-Money Laundering Monitoring and Analysis Center, Beijing, China, 8 April.
- Choo K-K. R. 2008. Anti-money laundering and counter terrorism financing research. Department of Criminology, National Chung-Cheng University, Taipei, Taiwan, 19 March.
- Choo K-K. R. 2008. The cyber crime in and from China. National Security Conference 2008, Sydney, 6-7 March.
- Choo K-K. R. 2007. The use of technology to facilitate the transfer/flow of funds. Presentation to the "Proceeds of Crime Working Group" at Australian Federal Police Sydney Headquarters, Australia, 27 November.
- Choo K-K. R. 2007. Criminal exploitation of online systems by organised crime groups. Organised Crime in Asia: Governance and Accountability colloquium, Singapore, 28-29 June.
- Choo K-K. R. 2006. High Tech Crime Tools Review, Cyber Crime In Focus - Prevention & Response conference, Sydney, Australia, 11-12 December
- McCusker R. and Choo K-K. R. 2006. Cyberthreats, Attorney-General's Department, Canberra, Australia, 13 September
- Choo K-K. R. 2006. Key Establishment Protocols: An Overview, SIM University, Singapore, 21 July
- Choo K-K. R. 2006. Refuting Security Proofs for Tripartite Key Exchange with Model Checker in Planning Program Setting, Institute for InfoComm Research (I2R), Singapore, 20 July
- Choo K-K. R. 2006. Refuting Security Proofs for Tripartite Key Exchange with Model Checker in Planning Program Setting, Institut für Informatik / Universität Potsdam, Berlin, Germany, 11 July
- Choo K-K. R. 2006. Refuting Security Proofs for Tripartite Key Exchange with Model Checker in Planning Program Setting, 19th IEEE Computer Security Foundations Workshop (CSFW), Venice, Italy, 5 - 7 July
- Choo K-K. R. 2006. Refuting Security Proofs for Tripartite Key Exchange with Model Checker, Intelligent Systems Lab / University of Western Sydney, Sydney, Australia, 24 February
- Choo K-K. R. 2006. Ph.D. Final Defense Seminar: Key Establishment - Proofs and Refutations, Queensland University of Technology, Brisbane, Australia, 24 January
- Choo K-K. R. 2005. Key Establishment - Proofs and Refutations: An Overview, Singapore Management University, Singapore, 12 December
- Choo K-K. R. 2005. Errors in Computational Complexity Proofs for Protocols, Advances in Cryptology - Asiacrypt 2005, Chennai, India, 04-08 December
- Choo K-K. R. 2005. Proofs and Specifications for Cryptographic Protocols: An Overview, Intelligent Systems Lab / University of Western Sydney, Sydney, Australia, 25 November
- Choo K-K. R. 2005. Cryptographic Key Establishment Protocols: An Overview, Information Security Institute / Queensland University of Technology, Brisbane, Australia, 01 November
- Choo K-K. R. 2005. Security Requirement for Key Establishment Proof Models, 10th Australasian Conference on Information Security and Privacy - ACISP 2005, Brisbane, Australia, 04-06 July
- Choo K-K. R. 2004. On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited, Institute for InfoComm Research (I2R), Singapore, 21 September
- Choo K-K. R. 2004. On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited, 4th Conference on Security in Communication Networks - SCN 2004, Amalfi, Italy, 08-10 September
- Choo K-K. R. 2004. Complementing Computational Protocol Analysis with Formal Specifications, Fraunhofer Institute for Secure Telecommunications, Darmstadt, Germany, 03 September
- Choo K-K. R. 2004. Complementing Computational Protocol Analysis with Formal Specifications, Cryptographic Protocols Group / Department of Computer Science / Darmstadt University of Technology, Darmstadt, Germany, 02 September
- Choo K-K. R. 2004. Complementing Computational Protocol Analysis with Formal Specifications, 2nd International Workshop on Formal Aspects in Security and Trust - FAST 2004, Toulouse, France, 26-27 August
- Choo K-K. R. 2004. Provably Secure Session Key Distribution: The Three Party Case, Queensland University of Technology, Brisbane, Australia, 01 June
Professional activities
Advisory Board Member (2009 - Current)
- Pakistan Society of Criminology
Editorial Board Member
- INFORMATICA (2009 – Current)
- Interdisciplinary Journal of Information, Knowledge, and Management (2008 - Current)
- Journal of Software Engineering and Applications (2009 - Current)
- Journal of Universal Computer Science (Special Issue on Intelligent Environments and Services) (2009)
- Pakistan Journal of Criminology (2009 – Current)
PhD Workshop Coordinator (2008)
- Safeguarding Australia 2008 PhD National Security Workshop
Senior Lecturer Level Promotion Referee (2008)
- University of Queensland Business School
Program Committee Member (and Reviewer)
2009
- 20th Personal, Indoor and Mobile Radio Communications Symposium (PIMRC 2009)
- ASIACRYPT 2009
- International Conference on Security and Cryptography (SECRYPT 2009)
- International Symposium on u- and e- Service, Science and Technology (UNESST 2009)
2008
- International Conference on Security and Cryptography (SECRYPT 2008)
- IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2008) - Track #4: Applications, Services & Business Approach
- International Symposium on u- and e- Service, Science and Technology (UNESST 2008)
2007
- International Workshop on Group-Oriented Cryptographic Protocols (GOCP 2007), in conjunction with 34th International Colloquium on Automata, Languages and Programming (ICALP 2007)
- International Conference on Security and Cryptography (SECRYPT 2007)
- International Conference on Provable Security (ProvSec 2007) - previously known as Applied Cryptography and Information Security (ACIS)
- International Workshop on Mobile Multimedia Information Retrieval (MoMIR 2007), in conjunction with 5th International Conference on Mobile Computing and Multimedia (MoMM 2007)
- International WorkShop on Ubiquitous Application & Security Service (UASS 2007)
2006
- Applied Cryptography and Information Security (ACIS 2006), in conjunction with 2006 International Conference on Computational Science and its Applications (ICCSA 2006)
- Workshop on Internet Communications Security (WISC 2006), in conjunction with 2006 International Conference on Computational Science and its Applications (ICCSA 2006)
- International Workshop on Mobile Multimedia Information Retrieval (MoMIR 2006), in conjunction with 4th International Conference on Mobile Computing and Multimedia (MoMM 2006)
Reviewer (Conferences)
2009
- ACM Symposium on Information, Computer and Communications Security - ASIACCS 2009
2008 - Africacrypt 2008
- ASIACRYPT 2008
- International Conferences on Information Security and Cryptology - Inscrypt 2008
- International Conference on Provable Security - ProvSec 2008
- Information Security Conference 2008 - ISC 2008
2007
- ACM Conference on Computer and Communications Security - CCS 2007 (Research Track)
- International Workshop on Security - IWSEC 2007
- International Conference on Computational Science and Its Applications - ICCSA 2007
- Information Security Practice and Experience Conference - ISPEC 2007
2006
- Advances in Cryptology - ASIACRYPT 2006
- Australasian Information Security Workshop 2006
- International Workshop on Issues in the Theory of Security - WITS 2006
- SKLOIS Conference on Information Security and Cryptology 2006
2005
- Advances in Cryptology - ASIACRYPT 2005
- SKLOIS Conference on Information Security and Cryptology 2005
Reviewer (Journals)
2009
- Asian Journal of Criminology
- Crime, Law and Social Change
- IET Information Security
- INFORMATICA
- Interdisciplinary Journal of Information, Knowledge, and Management
- Journal of System and Software
- Journal of Universal Computer Science (Special Issue on "Intelligent Environments and Services")
- Security and Communication Networks
2008
- ACM Computing Reviews
- Computers & Security
- Designs, Codes and Cryptography
- IEEE Communications Letters
- IET Information Security
- INFORMATICA
- Interdisciplinary Journal of Information, Knowledge, and Management
- International Journal of Information Security
- International Journal of Network Security
- Journal of System and Software
2007
- Asian Journal of Criminology
- Designs, Codes and Cryptography
- IEEE Communications Letters
- IET Information Security (formerly IEE Proceedings Information Security)
- INFORMATICA
- Interdisciplinary Journal of Information, Knowledge, and Management
- International Journal of Network Security
- Journal of Computer Science and Technology
- Journal of Parallel and Distributed Computing
- Journal of System and Software
- Journal of Universal Computer Science
2006
- EURASIP Journal on Wireless Communications and Networking
- INFORMATICA
- International Journal of Network Security
- Journal of Communications and Networks
- Journal of System and Software
2005
- International Journal of Network Security