A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines.

Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simo Melo de Sousa

Browse the full VMCAI paper archive.