Un modello integrato control-flow e data-flow per il rilevamento ...

70 5. Bibliografia
[13] Christopher Kruegel, Darren H. Mutz, Fredrik Valeur, and Giovanni Vigna. On
the detection of anomalous system call arguments.
[14] Cullen Linn and Saumya Debray. Obfuscation of executable code to improve
resistance to static disassembly. 2003.
[15] Carlo Maiero and Marino Miculan. Unobservable intrusion detection based on
call traces in paravirtualized systems.
[16] Xu Ming, Chen Chun, and Ying Jing. Anomaly detection based on system call
classification. 2003.
[17] Aleph One. Smashing the stack for fun and profit. Phrack #49, 1996.
[18] L. Pitt and M. Warmuth. The minimum consistency dfa problem cannot be
approximated within any polynomial. ACM STOC, 1989.
[19] Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, and Saumya Debray. A
semantics-based approach to malware detection. 2007.
[20] Mila Dalla Preda, Matias Madou, Koen De Bosschere, and Roberto Giacobazzi.
Opaque predicates detection by abstract interpretation.
[21] R. Sekar, M. Bendre, D. Dhurjati, and P.Bollineni. A fast automaton-based
method for detecting anomalous program behaviors. 2001.
[22] Gaurav Tandon and Philip Chan. Learning rules from system call arguments
and sequences for anomaly detection.
[23] theo detristan, tyll ulenspiegel, yann malcom, and mynheer superbus von un-
derduk. Polymorphic shellcode engine using spectrum analysis. Phrack #61,
2003.
[24] David Wagner and Drew Dean. Intrusion detection via static analysis.
[25] Richard Wartell, Yan Zhou, Kevin W. Hamlen, Murat Kantarcioglu, and
Bhavani Thuraisingham. Differentiating code from data in x86 binaries. 2011.