![]() | ![]() |
2005 | ||
---|---|---|
3 | EE | 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 | EE | Changhua He, John C. Mitchell: Security Analysis and Improvements for IEEE 802.11i. NDSS 2005 |
2004 | ||
1 | EE | Changhua He, John C. Mitchell: Analysis of the 802.11i 4-way handshake. Workshop on Wireless Security 2004: 43-50 |
1 | Anupam Datta | [3] |
2 | Ante Derek | [3] |
3 | John C. Mitchell | [1] [2] [3] |
4 | Mukund Sundararajan | [3] |