Human-on-the-Loop Automation for Detecting Software Side-Channel Vulnerabilities.

Ganesh Ram Santhanam, Benjamin Holland, Suresh C. Kothari, Nikhil Ranade

Browse the full ICISS paper archive.