@inproceedings{055933552f9043d184ee6fe56bffb590,
title = "Probabilistic Obfuscation Through Covert Channels",
abstract = "This paper presents a program obfuscation framework that uses covert channels through the program's execution environment to obfuscate information flow through the program. Unlike prior works on obfuscation, the use of covert channels removes visible information flows from the computation of the program and reroutes them through the program's runtime system and/or the operating system. This renders these information flows, and the corresponding control and data dependencies, invisible to program analysis tools such as symbolic execution engines. Additionally, we present the idea of probabilistic obfuscation which uses imperfect covert channels to leak information with some probabilistic guarantees. Experimental evaluation of our approach against state of the art detection and analysis techniques show the engines are not well-equipped to handle these obfuscations, particularly those of the probabilistic variety.",
keywords = "Covert Channels, Malware, Obfuscation, Privacy, Symbolic Analysis, System Security",
author = "Jon Stephens and Babak Yadegari and Christian Collberg and Saumya Debray and Carlos Scheidegger",
note = "Funding Information: This research was supported in part by the National Science Foundation (NSF) under grant CNS-1525820. Publisher Copyright: {\textcopyright} 2018 IEEE.; 3rd IEEE European Symposium on Security and Privacy, EURO S and P 2018 ; Conference date: 24-04-2018 Through 26-04-2018",
year = "2018",
month = jul,
day = "6",
doi = "10.1109/EuroSP.2018.00025",
language = "English (US)",
series = "Proceedings - 3rd IEEE European Symposium on Security and Privacy, EURO S and P 2018",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "243--257",
booktitle = "Proceedings - 3rd IEEE European Symposium on Security and Privacy, EURO S and P 2018",
}