Discovering Application-Level Insider Attacks Using Symbolic Execution.

Karthik Pattabiraman, Nithin Nakka, Zbigniew Kalbarczyk, Ravishankar K. Iyer

Browse the full SEC paper archive.