Systematic Classification of Attackers via Bounded Model Checking.

Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay

Browse the full VMCAI paper archive.