Photo Gallery

USENIX Security '21 - SelectiveTaint: Efficient Data Flow Tracking With Static Binary Rewriting
USENIX Security '21 - Fine Grained Dataflow Tracking with Proximal Gradients
USENIX Security '21 - SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart...
USENIX Security '21 - DeepReflect: Discovering Malicious Functionality through Binary Reconstruction
USENIX Security '21 - Automatic Firmware Emulation through Invalidity-guided Knowledge Inference
USENIX Security '21 - PACStack: an Authenticated Call Stack
USENIX Security '21 - MAZE: Towards Automated Heap Feng Shui
USENIX Security '21 - PASAN: Detecting Peripheral Access Concurrency Bugs within Bare-Metal...
USENIX Security '21 - Understanding and Detecting Disordered Error Handling with Precise Function
USENIX Security '21 - Detecting Kernel Refcount Bugs with Two-Dimensional Consistency Checking
USENIX Security '21 - Breaking Through Binaries: Compiler-quality Instrumentation for Better
USENIX Security '21 - Sharing More and Checking Less: Leveraging Common Input Keywords to Detect...