The Yices SMT solver . SRI International, 2006. ,
Practical Fine-Grained Information Flow Control Using Laminar, In : ACM Transactions on Programming Languages and Systems, vol.37, issue.1, pp.1-51 ,
The Coq Proof Assistant Reference Manual. 14 déc, 2016. ,
URL : https://hal.archives-ouvertes.fr/inria-00069919
Linux Security Modules : General Security Support for the Linux Kernel, USENIX Security Symposium, pp.17-31, 2002. ,
Détection d'intrusions paramétrée par la politique par contrôle de flux de références, Thèse de doct, 2003. ,