Byte Code Verification for Java Smart Card Based on Model Checking.

Joachim Posegga, Harald Vogt

Browse the full ESORICS paper archive.