Xavier Leroy. On-card bytecode verification for Java card. In I. Attali and T. Jensen, editors, Smart card programming and security, proceedings E-Smart 2001, volume 2140 of Lecture Notes in Computer Science, pages 150-164. Springer, 2001.

Preliminary version of [54]

bib | Local copy | At publisher's ] Back


This file was generated by bibtex2html 1.97.