Changhua He

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

3EEChanghua He, Mukund Sundararajan, Anupam Datta, Ante Derek, John C. Mitchell: A modular correctness proof of IEEE 802.11i and TLS. ACM Conference on Computer and Communications Security 2005: 2-15
2EEChanghua He, John C. Mitchell: Security Analysis and Improvements for IEEE 802.11i. NDSS 2005
1EEChanghua He, John C. Mitchell: Analysis of the 802.11i 4-way handshake. Workshop on Wireless Security 2004: 43-50

Coauthor Index

1Anupam Datta [3]
2Ante Derek [3]
3John C. Mitchell [1] [2] [3]
4Mukund Sundararajan [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)