Gilles Barthe Guillaume Dufay Line Jakubiec Simão Melo de Sousa A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines. 32-45 2002 conf/vmcai/2002 VMCAI http://link.springer.de/link/service/series/0558/bibs/2294/22940032.htm db/conf/vmcai/vmcai2002.html#BartheDJS02