| A few remarks about formal development of secure systems E Jaeger, T Hardin 2008 11th IEEE High Assurance Systems Engineering Symposium, 165-174, 2008 | 17 | 2008 |
| Why Would You Trust B? É Jaeger, C Dubois Logic for Programming, Artificial Intelligence, and Reasoning: 14th …, 2007 | 16 | 2007 |
| Mind your language (s): A discussion about languages and security É Jaeger, O Levillain 2014 IEEE Security and Privacy Workshops, 140-151, 2014 | 15 | 2014 |
| Study of the benefits of using deductive formal methods for secure developments E Jaeger Université Pierre et Marie Curie-Paris VI, 2010 | 8 | 2010 |
| Study of the Benefits of Using Deductive Formal Methods for Secure Developments.(Etude de l'apport des méthodes formelles déductives pour les développements de sécurité). É Jaeger Pierre and Marie Curie University, Paris, France, 2010 | 5 | 2010 |
| Mind your language (s) E Jaeger, O Levillain, P Chifflier 1st LangSec workshop of IEEE Security & Privacy, 2014 | 2 | 2014 |
| De Ca B, l’analyse de code par les méthodes formelles É Jaeger Master’s thesis, Université Paris 7, 2005 | 2 | 2005 |
| Yet Another Deep Embedding of B: Extending de Bruijn Notations E Jaeger, T Hardin arXiv preprint arXiv:0902.3865, 2009 | | 2009 |
| Résumé de mémoire de these É Jaeger | | |
