Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simão Melo de Sousa. A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines. In Agostino Cortesi, editor, Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers. Volume 2294 of Lecture Notes in Computer Science, pages 32-45, Springer, 2002. [doi]
Abstract is missing.