A. Abadi, M. Budiu, Ú. Erlingsson, and J. Ligatti, Control-flow integrity principles, implementations, and applications, 12th ACM Conference on Computer and Communication Security, CCS '05, 2005.
DOI : 10.1145/1609956.1609960

A. Abadi, M. Budiu, Ú. Erlingsson, and J. Ligatti, A Theory of Secure Control Flow, Formal Methods and Software Engineering, pp.111-124, 2005.
DOI : 10.1007/11576280_9

W. Andrew, J. Appel, and . Palsberg, Modern Compiler Implementation in Java, 2002.

[. Bhatkar, A. Chaturvedi, and R. Sekar, 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

P. Cousot and R. Cousot, 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

M. Castro, M. Costa, and T. Harris, Securing software by enforcing data-flow integrity, Proceedings of the 7th symposium on Operating systems design and implementation, OSDI '06, pp.147-160, 2006.

E. C. Xu, P. Sezer, R. K. Gauriar, and . Iyer, Noncontrol-data attacks are realistic threats, Proceedings of the 14th conference on USENIX Security Symposium, p.5, 2005.

[. Demay, Génération et évaluation de méchanismes de détection des intrusions au niveau applicatif, 2011.

[. Demay, F. Majorczyk, E. Totel, and F. Tronel, 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

M. [. Goloubeva, M. Rebaudengo, M. Sonza-reorda, and . Violante, Soft-error detection using control flow assertions, Proceedings. 16th IEEE Symposium on Computer Arithmetic, pp.581-588, 2003.
DOI : 10.1109/DFTVS.2003.1250158

?. Inria-?tt, ?. ?????-?-@bullet??-?-r????r?, . ??, and . @bullet?, The Ocaml programming language

I. Skytte, ?. ?. Jørgenssen-?tt, and ?. ???, The ihttpd HTTP server

[. Kiriansky, D. Bruening, and S. Amarasinghe, Secure Execution Via Program Shepherding, Proceedings of the 11th USENIX security symposium , Security '02, pp.191-206, 2002.

[. Leurent, C. Bouillaget, and P. Fouque, SIMD Is a Message Digest. SHA-3 submission document, 2009.

[. Ludinard, L. L. Hennaff, and E. Totel, RRABIDS, un système de détection d'intrusion pour les applications Ruby on Rails, pp.266-278, 2011.

A. Miné, Domaines numériques abstraits faiblement relationnels, 2004.

G. Necula, S. Mcpeak, S. Rahul, and W. Weimer, 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

[. Vemu and J. A. Abraham, 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

M. Weiser, Program Slicing, Proceedings of the 5th international conference on Software engineering, ICSE '81, pp.439-449, 1981.
DOI : 10.1109/TSE.1984.5010248