Java Card Virtual Machine Compromising from a Bytecode Verified Applet.

Julien Lancia, Guillaume Bouffard

Browse the full CARDIS paper archive.