Privacy Enhanced Electronic Cheque System. - Vijayakrishnan Pasupathinathan; Josef Pieprzyk; Huaxiong Wang (CEC, 2005)

Formal analysis of card-based payment systems in mobile devices. - Vijayakrishnan Pasupathinathan; Josef Pieprzyk; Huaxiong Wang; Joo Yeon Cho (ACSW, 2006)

Formal Security Analysis of Australian E-passport Implementation. - Vijayakrishnan Pasupathinathan; Josef Pieprzyk; Huaxiong Wang (AISC, 2008)

An On-Line Secure E-Passport Protocol. - Vijayakrishnan Pasupathinathan; Josef Pieprzyk; Huaxiong Wang (ISPEC, 2008)

A Fair e-Tendering Protocol. - Vijayakrishnan Pasupathinathan; Josef Pieprzyk; Huaxiong Wang (SECRYPT, 2008)

Security Analysis of Australian and E.U. E-passport Implementation. - Vijayakrishnan Pasupathinathan; Josef Pieprzyk; Huaxiong Wang (J. Res. Pract. Inf. Technol., 2008)

Privacy Enhancements for Hardware-Based Security Modules. - Vijayakrishnan Pasupathinathan; Josef Pieprzyk; Huaxiong Wang (ICETE (Selected Papers), 2009)

Certified Pseudonyms Colligated with Master Secret Key. - Vijayakrishnan Pasupathinathan; Josef Pieprzyk; Huaxiong Wang (SECRYPT, 2009)