Publications 2010

International Conferences

  1. Dumitru Ceara, Laurent Mounier, Marie-Laure Potet. Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause Sequences. In ICSTW '10: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, Pages 371-380, Washington, DC, USA, 2010. (more) doi pdf
  2. Sanjay Rawat, Laurent Mounier. An Evolutionary Computing Approach for Hunting Buffer Overflow Vulnerabilities: A case of aiming in dim light. In Proceedings of 6th EC2ND (European Conference on Computer Network Defense, Berlin, Germany, 2010. (more) pdf
  3. Ylies Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More Testable Properties. In Proceedings of ICTSS - 22nd IFIP WG 6.1 International Conference, Alexandre Petrenko, Adenilso da Silva Sim\ ao, José Carlos Maldonado (eds.), Lecture Notes in Computer Science, (best paper award), Volume 6435, Pages 30-46, Natal, Brazil, November 2010. (more) pdf