USENIX Best Papers

Filter List View By:

USENIX Security '15

Under-Constrained Symbolic Execution: Correctness Checking for Real Code
David A. Ramos, Stanford University; Dawson Engler, Stanford University
All Your Biases Belong to Us: Breaking RC4 in WPA-TKIP and TLS
Mathy Vanhoef, Katholieke Universiteit Leuven; Frank Piessens, Katholieke Universiteit Leuven