Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution.

Luca Borzacchiello Emilio Coppa Daniele Cono D'Elia Camil Demetrescu

Published in: CSCML (2019)

Keyphrases

remote access
symbolic execution
static analysis
test generation
test data generation
source code
specification language
test cases
data flow
databases
tcp ip
remote laboratories
case study
relational databases