Research Interests of Wenbo Mao

Working in industry, I have a strong inclination toward real-world applications of cryptography and the theory of information security. Therefore I follow closely the state of affairs of formally provable security for cryptographic systems and protocols. Here are three sets of slide presentations on these topics

Formal Reductionist Provable Security for Public-key Cryptosystems

Formal Reductionist Provable Security for Digital Signatures

Formal Reductionist Provable Security for Authenticated Session-key Exchange Protocols (Key Agreement using Statically Keyed Authenticators) (Joint work with Colin Boyd and Kenny Paterson)

Cryptography

Identity-based cryptography and many recent cryptographic protocols which are enabled by bilinear pairings are very interesting. They are important new developments in cryptography. Here is a set of slide presentation (co-authored with my colleague Keith Harrison, with the help of Dr Steven Galbraith of Mathematics Department, Royal Holloway, University of London) on the properties and efficient computations of bilinear pairings

Divisors, Bilinear Pairings and Pairing Enabled Cryptographic Applications

The following is a book chapter I've written, which provides more explanatory descriptions on the definition and computation of bilinear pairings

Elliptic Curves and Bilinear Pairings

This chapter will be in a new book Cryptographic Protocols which I co-author with Markus Jakobsson, to be published by Addison-Wesley in this year.

Trusted Computing

Trusted Computing Group's (TCG) technology is an industrial standard to provide a systematic solution to open-computing-platform security. The following is a book chapter written recently (co-authored with Hai Jin and Andrew Martin), which provides our interpretation of TCG technologies. We also provide an envision of TCG's technology in providing behavior conformity in collaborated computing applications.

Trusted Computing: Crypto Protocols Running with In-Platform TTP

This chapter will be in a new book Cryptographic Protocols which I co-author with Markus Jakobsson, to be published by Addison-Wesley in this year.

Grid Security

Daonity Project This is a project working on applying the Trusted Computing technology of Trusted Computing Group (TCG) to improve Grid Security Infrastructure (GSI) of Globus Toolkit. Project Daonity is led and architected by HP Labs China, in R&D collaborations with ChinaGrid, and participated by WuHan? University, Huazhong University of Science and Technology, and Fudan University. Daonity system design specification has been published in GGF16 at Athens. You may download the specification from the GGF website Daonity System Design Specification

For more details of Daonity click here? .

European Research Project

I led HP's participation and research activities in CASENET Computer Aided Solutions to Secure Electronic Commerce Transactions (a European Union funded research project)

Return to Wenbo Mao's home page

Comments