Mechanized Semantics for the Clight Subset of the C Language, Journal of Automated Reasoning, vol.29, issue.6, p.263288, 2009. ,
DOI : 10.1007/s10817-009-9148-3
URL : https://hal.archives-ouvertes.fr/inria-00352524
Transaction Logic Programming, Proceedings of the International Conference on Logic Programming, p.257279, 1993. ,
Transaction Logic Programming (or, A Logic of Procedural and Declarative Knowledge) Rapport technique CSRI-323, 1995. ,
Concurrency and Communication in Transaction Logic, Joint Intl. Conference and Symposium on Logic Programming, p.142156, 1996. ,
History of Programming languages II éditeurs : History of Programming languages, chapitre The Birth of Prolog, p.331367, 1996. ,
TaintDroid : An Information-ow Tracking System for Realtime Privacy Monitoring on Smartphones, Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation, OSDI'10, p.16, 2010. ,
CADP 2010 : A Toolbox for the Construction and Analysis of Distributed Processes Leino, éditeurs : Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, vol.6605, p.372387, 2011. ,
ALFRED, interpréteur de la logique transactionnelle concurrentielle pour la sémantique des appels système, 2014. ,
Détection d'intrusion dans les systèmes distribués par propagation de, 2013. ,
Noninterference for a Practical DIFC-Based Operating System, 2009 30th IEEE Symposium on Security and Privacy, p.6176, 2009. ,
DOI : 10.1109/SP.2009.23
Information Flow Control for Standard OS Abstractions, SIGOPS Oper. Syst. Rev, vol.41, issue.6, p.321334, 2007. ,
A calculus of mobile processes, II, Information and Computation, vol.100, issue.1, p.177, 1992. ,
DOI : 10.1016/0890-5401(92)90009-5
Xin Gao et Gerwin Klein : seL4 : From General Purpose to a Proof of Information Flow Enforcement, Proceedings of the 2013 IEEE Symposium on Security and Privacy, SP '13, p.415429, 2013. ,
Towards Verication of C Programs. C-Light Language and Its Formal Semantics, Program. Comput. Softw, vol.28, issue.6, p.314323, 2002. ,
A formal semantics for the C programming language Doctoral Disseration. National Technical University of Athens, p.15, 1998. ,
PI-Calculus : A Theory of Mobile Processes, 2001. ,
An Optimizing Interpreter for Concurrent Transaction Logic, Thèse de doctorat, 2000. ,
An Optimizing Interpreter for Concurrent Transaction Logic, 2000. ,
Modeling and checking the security of difc system congurations ,