Best of the Rest II

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