Sciweavers

126
Voted
SPE
2002
154views more  SPE 2002»
15 years 1 days ago
Bytecode verification on Java smart cards
This article presents a novel approach to the problem of bytecode verification for Java Card applets. By relying on prior off-card bytecode transformations, we simplify the byteco...
Xavier Leroy