Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution

Luca Borzacchiello, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu. Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution. In Shlomi Dolev, Danny Hendler, Sachin Lodha, Moti Yung, editors, Cyber Security Cryptography and Machine Learning - Third International Symposium, CSCML 2019, Beer-Sheva, Israel, June 27-28, 2019, Proceedings. Volume 11527 of Lecture Notes in Computer Science, pages 121-140, Springer, 2019. [doi]

Abstract

Abstract is missing.