A very small bytecode-verifier based on PCC algorithm for smart card

Authors:
Jeung-Bo Cho;Min-Soo Jung
Affiliations:
Dept. of Computer Engineering, Kyungnam University, South Korea;Dept. of Computer Engineering, Kyungnam University, South Korea
Venue:
HSI'03 Proceedings of the 2nd international conference on Human.society@internet
Year:
2003

Citing 7
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 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

Java is a popular development platform for mobile code systems, because it ensures application portability and mobility. The Java Virtual Machine verifies statically(during the loading phase) the program is well-behaved with intermediate(as called bytecode). This is done by a software security module called the bytecode verifier. Smart card that provide a Java Virtual Machine, called Java Card, are not supplied with such a verifier because of its complexity. In this paper, we propose a bytecode verifier with efficient algorithm to adapt to the hardware constraints of smart card.