An Automated Proof Technique for Finite-State Machine Equivalence. - Wenbo Mao; George J. Milne (CAV, 1991)

Towards Formal Analysis of Security Protocols. - Wenbo Mao; Colin Boyd (CSFW, 1993)

On a Limitation of BAN Logic. - Colin Boyd; Wenbo Mao (EUROCRYPT, 1993)

Design and Analysis of Key Exchange Protocols via Secure Channel Identification. - Colin Boyd; Wenbo Mao (ASIACRYPT, 1994)

Development of Authentication Protocols: Some Misconceptions and a New Approach. - Wenbo Mao; Colin Boyd (CSFW, 1994)

Designing Secure Key Exchange Protocols. - Colin Boyd; Wenbo Mao (ESORICS, 1994)

On Strengthening Authentication Protocols to Foil Cryptanalysis. - Wenbo Mao; Colin Boyd (ESORICS, 1994)

An augmentation of BAN-like logics. - Wenbo Mao (CSFW, 1995)

Light-Weight Micro-cash Payment for the Internet. - Wenbo Mao (ESORICS, 1996)

On two Proposals for On-line Bankcard Payments using Open Networks: Problems and Solutions. - Wenbo Mao (S&P, 1996)

On Cryptographic Techniques for On-line Bankcard Payment Transactions Using Open Networks. - Wenbo Mao (Security Protocols Workshop, 1996)

Verifiable Escrowed Signature. - Wenbo Mao (ACISP, 1997)

Publicly verifiable partial key escrow. - Wenbo Mao (ICICS, 1997)

Cryptanalysis in Prime Order Subgroups of Z*n. - Wenbo Mao; Chae Hoon Lim (ASIACRYPT, 1998)

Guaranteed Correct Sharing of Integer Factorization with Off-Line Shareholders. - Wenbo Mao (Public Key Cryptography, 1998)

Verifiable Partial Sharing of Integer Fractions. - Wenbo Mao (Selected Areas in Cryptography, 1998)

Efficient and Practical Fair Exchange Protocols with Off-Line TTP. - Feng Bao 001; Robert H. Deng; Wenbo Mao (S&P, 1998)

Necessity and Realization of Universally Verifiable Secret Sharing. - Wenbo Mao (S&P, 1998)

Send Message into a Definite Future. - Wenbo Mao (ICICS, 1999)

Time-Lock Puzzle with Examinable Evidence of Unlocking Time. - Wenbo Mao (Security Protocols Workshop, 1999)

Short Certification of Secure RSA Modulus (Transcript of Discussion). - Wenbo Mao (Security Protocols Workshop, 2000)

An Auditable Metering Scheme for Web Advertisement Applications. - Liqun Chen 002; Wenbo Mao (ISC, 2001)

Verifiable Partial Escrow of Integer Factors. - Wenbo Mao (Des. Codes Cryptogr., 2001)

New Zero-knowledge Undeniable Signatures - Forgery of Signature Equivalent to Factorisation. - Wenbo Mao (IACR Cryptol. ePrint Arch., 2001)

Timed-Release Cryptography. - Wenbo Mao (IACR Cryptol. ePrint Arch., 2001)

RSA-Based Undeniable Signatures for General Moduli. - Steven D. Galbraith; Wenbo Mao; Kenneth G. Paterson (CT-RSA, 2002)

A Structured Operational Modelling of the Dolev-Yao Threat Model. - Wenbo Mao (Security Protocols Workshop, 2002)

Invisibility and Anonymity of Undeniable and Confirmer Signatures. - Steven D. Galbraith; Wenbo Mao (CT-RSA, 2003)

Two Birds One Stone: Signcryption Using RSA. - John Malone-Lee; Wenbo Mao (CT-RSA, 2003)

Deniable Authenticated Key Establishment for Internet Protocols. - Colin Boyd; Wenbo Mao; Kenneth G. Paterson (Security Protocols Workshop, 2003)

Deniable Authenticated Key Establishment for Internet Protocols (Discussion). - Wenbo Mao (Security Protocols Workshop, 2003)

Key Agreement Using Statically Keyed Authenticators. - Colin Boyd; Wenbo Mao; Kenneth G. Paterson (ACNS, 2004)

User-Friendly Grid Security Architecture and Protocols. - Liqun Chen 002; Hoon Wei Lim; Wenbo Mao (Security Protocols Workshop, 2005)

A structured operational semantic modelling of the Dolev-Yao threat environment and its composition with cryptographic protocols. - Wenbo Mao (Comput. Stand. Interfaces, 2005)

Preface to the special issue on ISC 2003. - Colin Boyd; Wenbo Mao (Int. J. Inf. Sec., 2005)

Daonity: grid security with behaviour conformity from trusted computing. - Wenbo Mao; Fei Yan; Chunrun Chen (STC, 2006)

Innovations for Grid Security from Trusted Computing. - Wenbo Mao (Security Protocols Workshop, 2006)

Innovations for Grid Security from Trusted Computing. - Wenbo Mao; Andrew P. Martin; Hai Jin 001; Huanguo Zhang (Security Protocols Workshop, 2006)

Daonity: Protocol Solutions to Grid Security Using Hardware Strengthened Software Environment. - Wenbo Mao; Fei Yan; Chuanjiang Yi; Haibo Chen 001 (Security Protocols Workshop, 2007)

Daonity - Grid security from two levels of virtualization. - Haibo Chen 001; Jieyun Chen; Wenbo Mao; Fei Yan (Inf. Secur. Tech. Rep., 2007)

TPM-Performance Sensible Key Management Protocols for Service Provisioning in Cloud Computing. - Haibo Chen 001; Jun Li; Wenbo Mao (Security Protocols Workshop, 2008)

TPM-Performance Sensible Key Management Protocols for Service Provisioning in Cloud Computing (Transcript of Discussion). - Wenbo Mao (Security Protocols Workshop, 2008)

A User-Mode-Kernel-Mode Co-operative Architecture for Trustable Computing. - Wenbo Mao (ICICS, 2009)

The role and effectiveness of cryptography in network virtualization: a position paper. - Wenbo Mao (AsiaCCS, 2013)

An instance selection and optimization method for multiple instance learning. - Haifeng Zhao 002; Wenbo Mao; Jiangtao Wang 011 (SPAC, 2014)

LotMint: Blockchain Returning to Decentralization with Decentralized Clock. - Wenbo Mao; Wenxiang Wang (IACR Cryptol. ePrint Arch., 2020)

GoUncle: A Blockchain Of, By, For Modest Computers. - Wenbo Mao; Wenxiang Wang (IACR Cryptol. ePrint Arch., 2021)

Two stage Robust Nash Bargaining based Benefit Sharing between Electric and HCNG Distribution Networks Bridged with SOFC. - Wenwen Zhang; Gao Qiu; Hongjun Gao; Tingjian Liu; Junyong Liu; Yaping Li; Shengchun Yang; Jiahao Yan; Wenbo Mao (CoRR, 2023)

Indirect Coordinated Attack Against Relay via Load-Side Power Electronics and Its Defense Strategy. - Luyu Wang; Kaifeng Zhang; Wenjun Bi; Ying Wang 023; Yaping Li; Wenbo Mao (IEEE Trans. Ind. Informatics, 2024)