On-Card Bytecode Verification for Java Card

Xavier Leroy. On-Card Bytecode Verification for Java Card. In Isabelle Attali, Thomas P. Jensen, editors, Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings. Volume 2140 of Lecture Notes in Computer Science, pages 150-164, Springer, 2001. [doi]

Abstract

Abstract is missing.