Best of the Rest II | USENIX

USENIX ATC '15 button

Get more
Help Promote graphics!

Tweets by @usenix

Presentations:

Using Crash Hoare Logic for Certifying the FSCQ File System

COZ: Finding Code that Counts with Causal Profiling

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

Under-Constrained Symbolic Execution: Correctness Checking for Real Code

Colorado Ballroom G–J