Publications 2012

Academic Journals

  1. Sifakis Emmanuel, Mounier Laurent. Politiques de gestion de protections pour l'implémentation de sections critiques. Techniques et Sciences Informatiques, 31(8):1153-1181, 2012. (more) download
  2. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. What can you verify and enforce at runtime?. STTT, 14(3):349-382, 2012. (more)
  3. Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More testable properties. STTT, 14(4):407-437, 2012. (more)

International Conferences

  1. Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier. A Taint Based Approach for Smart Fuzzing. In Proceedings of SecTest, Giuliano Antoniol, Antonia Bertolino, Yvan Labiche (eds.), Pages 818-825, 2012. (more) pdf
  2. Laurent Mounier, Emmanuel Sifakis. Dynamic Information-Flow Analysis for Multi-threaded Applications. In Proceedings of ISoLA, Tiziana Margaria, Bernhard Steffen (eds.), Lecture Notes in Computer Science, Volume 7609, Pages 358-371, Heraklion, Greece, 2012. (more) pdf
  3. Sanjay Rawat, Laurent Mounier. Finding Buffer Overflow Inducing Loops in Binary Executables. In Proceedings of Sixth International Conference on Software Security and Reliability (SERE), Pages 177-186, Gaithersburg, Maryland, USA, 2012. (more) pdf