Renaud Tabary

According to our database, Renaud Tabary authored at least 3 papers between 2010 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

Automated extraction of polymorphic virus signatures using abstract interpretation.

Serge Chaumette, Olivier Ly, Renaud Tabary

Proceedings of the 5th International Conference on Network and System Security, 2011

The BINCOA Framework for Binary Code Analysis.

Sébastien Bardin, Philippe Herrmann, Jérôme Leroux, Olivier Ly, Renaud Tabary, Aymeric Vincent

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Automated Software Protection through Program Externalization on Memory-Limited Secure Devices.

Serge Chaumette, Olivier Ly, Renaud Tabary

Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010