Dominique Bolignano, Xavier Leroy, and Renaud Marlet. Method for controlling program execution integrity by verifying execution trace prints / Procédé de contrôle d'intégrité de programmes par vérification d'empreintes de traces d'exécution, April 2006.

[ bib ] Back

This file was generated by bibtex2html 1.99.