A modular correctness proof of IEEE 802.11i and TLS.

Changhua He, Mukund Sundararajan, Anupam Datta, Ante Derek, John C. Mitchell

Browse the full CCS paper archive.