Publications of the Insight Team

Papers

• Renaud Tabary, Olivier Ly, Serge Chaumette. ​Automated Extraction of Polymorphic Virus Signatures using Abstract Interpretation. In Proceedings of NSS 2011 Intl. Conf. - Milan, Italy, 2011.

• Sébastien Bardin, Philippe Herrmann, Jérome Leroux, Olivier Ly, Renaud Tabary, Aymeric Vincent. ​The BINCOA Framework for Binary Code Analysis. In Proceedings of CAV 2011 Intl. Conf. - Snowbird, Utah, 2011.

Talks