axtl / SPASE-RG

Security, Program Analysis, Symbolic Execution Reading Group

SPASE-RG

Security, Program Analysis, Symbolic Execution Reading Group

Papers

Next

• "KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs"

Queue

• "Automated Whitebox Fuzz Testing"

• "Billions and Billions of Constraints: Whitebox Fuzz Testing in Production"

• "Fast and Precise Sanitizer Analysis with BEK"

• "Driller"

• "Veritesting"

• "FIE on Firmware: Finding Vulnerabilities in Embedded Systems Using Symbolic Execution"

Done

• "All you ever wanted to know about dynamic taint analysis and forward symbolic execution (but might have been afraid to ask)"