An Improved Bytecode Verification Algorithm on Java Card.

Yaping Chi, Zhaobin Li, Zhonghua Wang, Yong Fang

Browse the full CIS paper archive.