Automata-Based Programming Technology Extension for Generation of JML Annotated Java Card Code

Chronicle of a Java Card death

Journal of Computer Virology and Hacking Techniques ◽

10.1007/s11416-016-0276-0 ◽

2016 ◽

Vol 13 (2) ◽

pp. 109-123 ◽

Cited By ~ 6

Author(s):

Mozhdeh Farhadi ◽

Jean-Louis Lanet

Keyword(s):

Java Card

Download Full-text

Advanced control flow in Java card programming

ACM SIGPLAN Notices ◽

10.1145/998300.997187 ◽

2004 ◽

Vol 39 (7) ◽

pp. 165-174

Author(s):

Peng Li ◽

Steve Zdancewic

Keyword(s):

Control Flow ◽

Java Card ◽

Advanced Control

Download Full-text

Extendiendo las capacidades de procesamiento y memoria de una tarjeta Java Card

Proceedings of the 13th Latin American and Caribbean Conference for Engineering and Technology Engineering Education Facing the Grand Challenges What Are We Doing? ◽

10.18687/laccei2015.1.1.008 ◽

2015 ◽

Author(s):

Susana Maria Ramirez Brey ◽

Adonis Cesar Legón Campos

Keyword(s):

Java Card

Download Full-text

Correctness of Java Card Method Lookup via Logical Relations

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-46425-5_7 ◽

2000 ◽

pp. 104-118 ◽

Cited By ~ 4

Author(s):

Ewen Denney ◽

Thomas Jensen

Keyword(s):

Java Card

Download Full-text

Operational semantics of the Java Card Virtual Machine

The Journal of Logic and Algebraic Programming ◽

10.1016/j.jlap.2003.07.003 ◽

2004 ◽

Vol 58 (1-2) ◽

pp. 3-25 ◽

Cited By ~ 11

Author(s):

Igor A. Siveroni

Keyword(s):

Virtual Machine ◽

Operational Semantics ◽

Java Card

Download Full-text

Combinatorial Interaction Testing of a Java Card Static Verifier

2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops ◽

10.1109/icstw.2014.10 ◽

2014 ◽

Cited By ~ 7

Author(s):

Andrea Calvagna ◽

Andrea Fornaia ◽

Emiliano Tramontana

Keyword(s):

Java Card ◽

Interaction Testing ◽

Combinatorial Interaction Testing

Download Full-text

An Improved Bytecode Verification Algorithm on Java Card

2009 International Conference on Computational Intelligence and Security ◽

10.1109/cis.2009.193 ◽

2009 ◽

Author(s):

Ya Ping Chi ◽

Zhao Bin Li ◽

Zhong Hua Wang ◽

Yong Fang

Keyword(s):

Bytecode Verification ◽

Verification Algorithm ◽

Java Card

Download Full-text

Countermeasures Mitigation for Designing Rich Shell Code in Java Card

Lecture Notes in Computer Science - Codes, Cryptology, and Information Security ◽

10.1007/978-3-319-18681-8_12 ◽

2015 ◽

pp. 149-161

Author(s):

Noreddine El Janati El Idrissi ◽

Said El Hajji ◽

Jean-Louis Lanet

Keyword(s):

Java Card

Download Full-text

Optimization of Transaction Mechanism on Java Card

Communications in Computer and Information Science - Software Engineering, Business Continuity, and Education ◽

10.1007/978-3-642-27207-3_19 ◽

2011 ◽

pp. 190-199 ◽

Cited By ~ 1

Author(s):

Xiaoxue Yu ◽

Dawei Zhang

Keyword(s):

Java Card

Download Full-text

Design and Implementation of a Zero-Knowledge Authentication Framework for Java Card

Privacy Solutions and Security Frameworks in Information Protection ◽

10.4018/978-1-4666-2050-6.ch009 ◽

2013 ◽

pp. 131-148

Author(s):

Ahmed Patel ◽

Kenan Kalajdzic ◽

Laleh Golafshan ◽

Mona Taghavi

Keyword(s):

Smart Card ◽

Public Key Cryptography ◽

Performance Criteria ◽

Authentication Protocols ◽

Zero Knowledge ◽

Memory Space ◽

Design And Implementation ◽

Java Card ◽

Authentication Mechanism ◽

Processing Power

Zero-knowledge authentication protocols are an alternative to authentication protocols based on public key cryptography. Low processing and memory consumption make them especially suitable for implementation in smart card microprocessors, which are severely limited in processing power and memory space. This paper describes a design and implementation of a software library providing smart card application developers with a reliable authentication mechanism based on well-known zero-knowledge authentication schemes. Java Card is used as the target smart card platform implementation based on the evaluation of the Fiat-Shamir (F-S) and Guillou-Quisquater (G-Q) protocols under various performance criteria are presented to show the effectiveness of the implementation and that G-Q is a more efficient protocol.

Download Full-text