Renaud Tabary - LaBRI
»Recherche
»Enseignements
»Projets
»Liens
»CV

Recherche

Je suis doctorant au Laboratoire Bordelais de Recherche en Informatique (LaBRI) depuis Octobre 2008. Je travaille dans le domaine de la sécurité informatique. Mes travaux portent plus particulièrement sur l’externalisation de code sur des périphériques mobiles sécurisés. Les thématiques abordées sont bien sur l’externalisation de code, mais également l’obfuscation, la compilation, la sécurité ainsi que l’analyse statique de binaires.

Le but de mes travaux est de proposer une solution pour protéger des applications logicielles à l’aide de périphériques mobiles sécurisés aux capacités de calcul réduites (e.g une carte à puce, un téléphone mobile). L’objectif final est d’offrir une solution efficace et réellement sûre face aux diverses menaces actuelles (piratage, vol d’information), dont le coût soit suffisament faible pour être adoptée par tous.

Thème de recherche

Publications

Articles et proceedings
  • Serge Chaumette, Olivier Ly, Renaud Tabary - Automated Extraction of Polymorphic Virus Signatures using Abstract Interpretation In Proceedings of NSS 2011 Intl. Conf. - Milan, Italy Article Slides With appendix (unpublished) Some results

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

  • Serge Chaumette, Olivier Ly, Renaud Tabary - Automated Software Protection through Program Externalization on Memory-Limited Secure Devices In Proceedings of TRUSTCOM 2010 Intl. Conf. - Hong Kong Article Slides Full version (unpublished)

Présentations
  • Serge Chaumette, Olivier Ly, Renaud Tabary - Secure program partitioning for hardware-based software protection The 4th Franco-Japanese Computer Security Workshop 2009 - Japan Slides

  • Serge Chaumette, Olivier Ly, Renaud Tabary - Secure program partitioning for hardware-based software protection RE-TRUST 2008 - Trento, Italy Slides

Divers
  • Renaud Tabary - Secure code externalisation WISTP 2008 Poster

  • Renaud Tabary - Externalisation de code exécutable sur carte à puce Rapport de fin d'études: master 2008 Rapport,Slides

  • Renaud Tabary - Techniques originales d’obfuscation: recherche et constats Rapport technique ENSEIRB 2008 Rapport

Travaux liés

  • Antonio Maña, Javier Lopez, Juan J. Ortega, Ernesto Pimentel, Jose M. Troya - A framework for secure execution of software International Journal of Information Security n°2 vol.3, 2004

  • Boaz Barak, Oded Goldreich, Russell Impagliazzo, Steven Rudich, Amit Sahai, Salil Vadhan, Ke Yang - On the (Im)possibility of Obfuscating Programs 2001 CiteSeer

  • Tao Zhang - Tamper-Resistant Whole Program Partitioning Conf. on Languages, Compilers, and Tools for Embedded Systems 2003 CiteSeer

  • Benot Chevallier-mames, David Naccache, Pascal Paillier, David Pointcheval - How to Disembed a Program? Cryptographic Hardware and Embedded Systems 2004 CiteSeer

  • P. Cousot, R. Cousot - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 1977 CiteSeer

  • Bibliographie complète