Ivan Gotovchits

oo7: Low-overhead Defense against Spectre Attacks

Tulika Mitra, Guanhua Wang, Abhik Roychoudhury, 2018 .

oo7: Low-overhead Defense against Spectre Attacks via Binary Analysis pdf

Tulika Mitra, Guanhua Wang, Abhik Roychoudhury, 2018, ArXiv.

oo7: Low-overhead Defense against Spectre Attacks via Program Analysis

Guanhua Wang, Sudipta Chattopadhyay, Tulika Mitra, 2018 .

Saluki: Finding Taint-style Vulnerabilities with Static Property Checking

David Brumley, Ivan Gotovchits, Rijnard Van Tonder, 2018 .