Smart tools for Java Cards

Authors:
Isabelle Attali;Denis Caromel;Carine Courbis;Ludovic Henrio;Henrik Nilsson
Affiliations:
-;-;-;-;-
Venue:
Proceedings of the fourth working conference on smart card research and advanced applications on Smart card research and advanced applications
Year:
2001

Citing 0
Cited 2

Formalizing the safety of Java, the Java virtual machine, and Java card

ACM Computing Surveys (CSUR)
Secure object flow analysis for java card

CARDIS'02 Proceedings of the 5th conference on Smart Card Research and Advanced Application Conference - Volume 5

Quantified Score

Hi-index	0.00

Visualization

Abstract