PPREW@POPL

Keyphrases

Publications

2014

Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi
Analyzing program dependencies for malware detection. PPREW@POPL (2014)
Proceedings of the 3rd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2014, PPREW 2014, January 25, 2014, San Diego, CA, USA PPREW@POPL (2014)
Pablo Rauzy, Sylvain Guilley
Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack: A Pledge for Formal Methods in the Field of Implementation Security. PPREW@POPL (2014)
Luke Deshotels, Vivek Notani, Arun Lakhotia
DroidLegacy: Automated Familial Classification of Android Malware. PPREW@POPL (2014)
Huaijun Wang, Dingyi Fang, Guanghui Li, Na An, Xiaojiang Chen, Yuanxiang Gu
TDVMP: Improved Virtual Machine-Based Software Protection with Time Diversity. PPREW@POPL (2014)
Wesley Jin, Cory F. Cohen, Jeffrey Gennari, Charles Hines, Sagar Chaki, Arie Gurfinkel, Jeffrey Havrilla, Priya Narasimhan
Recovering C++ Objects From Binaries Using Inter-Procedural Data-Flow Analysis. PPREW@POPL (2014)
Axel Simon, Julian Kranz
The GDSL toolkit: Generating Frontends for the Analysis of Machine Code. PPREW@POPL (2014)
Jean-Luc Danger, Sylvain Guilley, Florian Praden
Hardware-enforced Protection against Software Reverse-Engineering based on an Instruction Set Encoding. PPREW@POPL (2014)

2013