Changhua He

	2005
3		Changhua 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
2		Changhua He, John C. Mitchell: Security Analysis and Improvements for IEEE 802.11i. NDSS 2005
	2004
1		Changhua He, John C. Mitchell: Analysis of the 802.11i 4-way handshake. Workshop on Wireless Security 2004: 43-50

Coauthor Index

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