An efficient small sized on-card verifier for java card

Authors:
Jeung-Bo Cho;Min-Soo Jung;Sung-Ik Jun
Affiliations:
Dept. of Computer Engineering, Kyungnam University, Master Student, South Korea;Dept. of Computer Engineering, Kyungnam University, Associate Prof., South Korea;IC Card OS Research Team of Electronics and Telecommunications Research Institute, Daejun, South Korea
Venue:
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartII
Year:
2003

Citing 8
Cited 0

Proof-carrying code

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Inside Java 2 platform security architecture, API design, and implementation

Inside Java 2 platform security architecture, API design, and implementation
Java bytecode compression for low-end embedded systems

ACM Transactions on Programming Languages and Systems (TOPLAS)
Java Card Technology for Smart Cards: Architecture and Programmer's Guide

Java Card Technology for Smart Cards: Architecture and Programmer's Guide
Inside the Java Virtual Machine

Inside the Java Virtual Machine
Bytecode verification on Java smart cards

Software—Practice & Experience
On-Card Bytecode Verification for Java Card

E-SMART '01 Proceedings of the International Conference on Research in Smart Cards: Smart Card Programming and Security
A Proof-Carrying Code Architecture for Java

CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

Smart Card technology has been a promising one, because it can handle, protect and manage data within a small sized chip. Java card is the major platform for Smart card, because of its platform independence and secure mechanism. But as a limit of hardware, many functions of Java Virtual Machine are not supported. One of these functions is verifying, because verifier is complicated with large size. In this paper, we propose a very small verifier to put on-card verifier into smart card feasibly.