Accessing secure information using export file fraudulence
Guillaume Bouffard, Tom Khefif, Jean‐Louis Lanet, Ismael Kane, Sergio Casanova Salvia · 2013
Java Card specification allows to load applications after the post-issuance. Each application to be installed into the card is verified by a Byte Code Verifier which ensures that the application is in compliance with the Java security rules.