Binary rewriting is changing the semantics of a program without having the source code at
hand. It is used for diverse purposes, such as emulation (eg, QEMU), optimization (eg …

This paper presents S2E, a platform for analyzing the properties and behavior of software
systems. We demonstrate S2E's use in develo** practical tools for comprehensive …

Developers today have access to an arsenal of toolkits and libraries for rapid application
prototy**. However, when an application loads a library, the entirety of that library's code …

Software deobfuscation is a crucial activity in security analysis and especially in malware
analysis. While standard static and dynamic approaches suffer from well-known …

Virtualization-obfuscation protects a program from manual or automated analysis by
compiling it into byte code for a randomized virtual architecture and attaching a …

Reasoning about programs is a cornerstone of computer science. We look at programs to
understand whether they are correct or contain bugs, to find out after what time they …