You are here

Best Papers

Filter List View By:

USENIX Security '15

Best Paper

Under-Constrained Symbolic Execution: Correctness Checking for Real Code

David A. Ramos, Stanford University; Dawson Engler, Stanford University

Best Student Paper

All Your Biases Belong to Us: Breaking RC4 in WPA-TKIP and TLS

Mathy Vanhoef, Katholieke Universiteit Leuven; Frank Piessens, Katholieke Universiteit Leuven

USENIX Patrons

USENIX Benefactors

USENIX Partners