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.98.