Wenbo Mao

52 papers A* 2A 6B 6C 6Misc 1Journal 10Unranked 21
YearRankTypeTitle / Venue / Authors
2024 J jnl
Indirect Coordinated Attack Against Relay via Load-Side Power Electronics and Its Defense Strategy.
IEEE Trans. Ind. Informatics
Luyu Wang, Kaifeng Zhang, Wenjun Bi, Ying Wang, Yaping Li, Wenbo Mao
2023 J jnl
Two stage Robust Nash Bargaining based Benefit Sharing between Electric and HCNG Distribution Networks Bridged with SOFC.
CoRR
Wenwen Zhang, Gao Qiu, Hongjun Gao, Tingjian Liu, Junyong Liu, Yaping Li, Shengchun Yang, Jiahao Yan, Wenbo Mao
2021 J jnl
GoUncle: A Blockchain Of, By, For Modest Computers.
IACR Cryptol. ePrint Arch.
Wenbo Mao, Wenxiang Wang
2020 J jnl
LotMint: Blockchain Returning to Decentralization with Decentralized Clock.
IACR Cryptol. ePrint Arch.
Wenbo Mao, Wenxiang Wang
2014 — conf
An instance selection and optimization method for multiple instance learning.
SPAC
Haifeng Zhao, Wenbo Mao, Jiangtao Wang
2013 A conf
The role and effectiveness of cryptography in network virtualization: a position paper.
AsiaCCS
Wenbo Mao
2009 C conf
A User-Mode-Kernel-Mode Co-operative Architecture for Trustable Computing.
ICICS
Wenbo Mao
2008 — conf
TPM-Performance Sensible Key Management Protocols for Service Provisioning in Cloud Computing (Transcript of Discussion).
Security Protocols Workshop
Wenbo Mao
2008 — conf
TPM-Performance Sensible Key Management Protocols for Service Provisioning in Cloud Computing.
Security Protocols Workshop
Haibo Chen, Jun Li, Wenbo Mao
2007 J jnl
Daonity - Grid security from two levels of virtualization.
Inf. Secur. Tech. Rep.
Haibo Chen, Jieyun Chen, Wenbo Mao, Fei Yan
2007 — conf
Daonity: Protocol Solutions to Grid Security Using Hardware Strengthened Software Environment.
Security Protocols Workshop
Wenbo Mao, Fei Yan, Chuanjiang Yi, Haibo Chen
2006 — conf
Daonity: grid security with behaviour conformity from trusted computing.
STC
Wenbo Mao, Fei Yan, Chunrun Chen
2006 — conf
Innovations for Grid Security from Trusted Computing.
Security Protocols Workshop
Wenbo Mao
2006 — conf
Innovations for Grid Security from Trusted Computing.
Security Protocols Workshop
Wenbo Mao, Andrew P. Martin, Hai Jin, Huanguo Zhang
2005 J jnl
A structured operational semantic modelling of the Dolev-Yao threat environment and its composition with cryptographic protocols.
Comput. Stand. Interfaces
Wenbo Mao
2005 C ed.
Information and Communications Security, 7th International Conference, ICICS 2005, Beijing, China, December 10-13, 2005, Proceedings
ICICS
Sihan Qing, Wenbo Mao, Javier López, Guilin Wang
2005 J jnl
Preface to the special issue on ISC 2003.
Int. J. Inf. Sec.
Colin Boyd, Wenbo Mao
2005 — conf
User-Friendly Grid Security Architecture and Protocols.
Security Protocols Workshop
Liqun Chen, Hoon Wei Lim, Wenbo Mao
2004 B conf
Key Agreement Using Statically Keyed Authenticators.
ACNS
Colin Boyd, Wenbo Mao, Kenneth G. Paterson
2003 — conf
Deniable Authenticated Key Establishment for Internet Protocols (Discussion).
Security Protocols Workshop
Wenbo Mao
2003 — conf
Deniable Authenticated Key Establishment for Internet Protocols.
Security Protocols Workshop
Colin Boyd, Wenbo Mao, Kenneth G. Paterson
2003 C ed.
Information Security, 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings
ISC
Colin Boyd, Wenbo Mao
2003 B conf
Invisibility and Anonymity of Undeniable and Confirmer Signatures.
CT-RSA
Steven D. Galbraith, Wenbo Mao
2003 B conf
Two Birds One Stone: Signcryption Using RSA.
CT-RSA
John Malone-Lee, Wenbo Mao
2002 — conf
A Structured Operational Modelling of the Dolev-Yao Threat Model.
Security Protocols Workshop
Wenbo Mao
2002 B conf
RSA-Based Undeniable Signatures for General Moduli.
CT-RSA
Steven D. Galbraith, Wenbo Mao, Kenneth G. Paterson
2001 C conf
An Auditable Metering Scheme for Web Advertisement Applications.
ISC
Liqun Chen, Wenbo Mao
2001 J jnl
New Zero-knowledge Undeniable Signatures - Forgery of Signature Equivalent to Factorisation.
IACR Cryptol. ePrint Arch.
Wenbo Mao
2001 B conf
Timed-Release Cryptography.
Selected Areas in Cryptography
Wenbo Mao
2001 J jnl
Timed-Release Cryptography.
IACR Cryptol. ePrint Arch.
Wenbo Mao
2001 J jnl
Verifiable Partial Escrow of Integer Factors.
Des. Codes Cryptogr.
Wenbo Mao
2000 — conf
Short Certification of Secure RSA Modulus (Transcript of Discussion).
Security Protocols Workshop
Wenbo Mao
1999 C conf
Send Message into a Definite Future.
ICICS
Wenbo Mao
1999 — conf
Time-Lock Puzzle with Examinable Evidence of Unlocking Time.
Security Protocols Workshop
Wenbo Mao
1998 A conf
Cryptanalysis in Prime Order Subgroups of
ASIACRYPT
Wenbo Mao, Chae Hoon Lim
1998 — conf
Efficient and Practical Fair Exchange Protocols with Off-Line TTP.
S&P
Feng Bao, Robert H. Deng, Wenbo Mao
1998 — conf
Guaranteed Correct Sharing of Integer Factorization with Off-Line Shareholders.
Public Key Cryptography
Wenbo Mao
1998 — conf
Necessity and Realization of Universally Verifiable Secret Sharing.
S&P
Wenbo Mao
1998 B conf
Verifiable Partial Sharing of Integer Fractions.
Selected Areas in Cryptography
Wenbo Mao
1997 C conf
Publicly verifiable partial key escrow.
ICICS
Wenbo Mao
1997 Misc conf
Verifiable Escrowed Signature.
ACISP
Wenbo Mao
1996 A conf
Light-Weight Micro-cash Payment for the Internet.
ESORICS
Wenbo Mao
1996 — conf
On Cryptographic Techniques for On-line Bankcard Payment Transactions Using Open Networks.
Security Protocols Workshop
Wenbo Mao
1996 — conf
On two Proposals for On-line Bankcard Payments using Open Networks: Problems and Solutions.
S&P
Wenbo Mao
1995 — conf
An augmentation of BAN-like logics.
CSFW
Wenbo Mao
1994 A conf
Design and Analysis of Key Exchange Protocols via Secure Channel Identification.
ASIACRYPT
Colin Boyd, Wenbo Mao
1994 A conf
Designing Secure Key Exchange Protocols.
ESORICS
Colin Boyd, Wenbo Mao
1994 — conf
Development of Authentication Protocols: Some Misconceptions and a New Approach.
CSFW
Wenbo Mao, Colin Boyd
1994 A conf
On Strengthening Authentication Protocols to Foil Cryptanalysis.
ESORICS
Wenbo Mao, Colin Boyd
1993 A* conf
On a Limitation of BAN Logic.
EUROCRYPT
Colin Boyd, Wenbo Mao
1993 — conf
Towards Formal Analysis of Security Protocols.
CSFW
Wenbo Mao, Colin Boyd
1991 A* conf
An Automated Proof Technique for Finite-State Machine Equivalence.
CAV
Wenbo Mao, George J. Milne