Roberto Barbuti, Stefano Cataudella. Java bytecode verification on Java cards. In Hisham Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock, editors, Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004. pages 431-438, ACM, 2004. [doi]
Abstract is missing.