Control-flow integrity principles, implementations, and applications, 12th ACM Conference on Computer and Communication Security, CCS '05, 2005. ,
DOI : 10.1145/1609956.1609960
A Theory of Secure Control Flow, Formal Methods and Software Engineering, pp.111-124, 2005. ,
DOI : 10.1007/11576280_9
Modern Compiler Implementation in Java, 2002. ,
Dataflow anomaly detection, 2006 IEEE Symposium on Security and Privacy (S&P'06), 2006. ,
DOI : 10.1109/SP.2006.12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.1160
Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977. ,
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590
Securing software by enforcing data-flow integrity, Proceedings of the 7th symposium on Operating systems design and implementation, OSDI '06, pp.147-160, 2006. ,
Noncontrol-data attacks are realistic threats, Proceedings of the 14th conference on USENIX Security Symposium, p.5, 2005. ,
Génération et évaluation de méchanismes de détection des intrusions au niveau applicatif, 2011. ,
Detecting Illegal System Calls Using a Data-Oriented Detection Model, Future Challenges in Security and Privacy for Academia and Industry IFIP Advances in Information and Communication Technology, pp.305-316 ,
DOI : 10.1007/978-3-642-21424-0_25
URL : https://hal.archives-ouvertes.fr/hal-00657971
Soft-error detection using control flow assertions, Proceedings. 16th IEEE Symposium on Computer Arithmetic, pp.581-588, 2003. ,
DOI : 10.1109/DFTVS.2003.1250158
The Ocaml programming language ,
The ihttpd HTTP server ,
Secure Execution Via Program Shepherding, Proceedings of the 11th USENIX security symposium , Security '02, pp.191-206, 2002. ,
SIMD Is a Message Digest. SHA-3 submission document, 2009. ,
RRABIDS, un système de détection d'intrusion pour les applications Ruby on Rails, pp.266-278, 2011. ,
Domaines numériques abstraits faiblement relationnels, 2004. ,
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs, Compiler Construction, pp.209-265, 2002. ,
DOI : 10.1007/3-540-45937-5_16
CEDA: Control-flow Error Detection through Assertions, 12th IEEE International On-Line Testing Symposium (IOLTS'06), p.6, 2006. ,
DOI : 10.1109/IOLTS.2006.14
Program Slicing, Proceedings of the 5th international conference on Software engineering, ICSE '81, pp.439-449, 1981. ,
DOI : 10.1109/TSE.1984.5010248