JCCM: Flexible Certificates for smartcards with Java Card

Smart Card Programming and Security - Lecture Notes in Computer Science ◽

10.1007/3-540-45418-7_4 ◽

2001 ◽

pp. 34-42 ◽

Author(s):

Celeste Campo ◽

Andrés Marín ◽

Arturo García ◽

Ignacio Díaz ◽

Peter T. Breuer ◽

...

Keyword(s):

Download Full-text

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 ◽

Author(s):

Mozhdeh Farhadi ◽

Jean-Louis Lanet

Keyword(s):

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):

Download Full-text

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

10.15514/syrcose-2008-2-8 ◽

2008 ◽

Author(s):

Andrey Klebanov ◽

Alexander Mikhaylov

Keyword(s):

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 ◽

Author(s):

Ewen Denney ◽

Thomas Jensen

Keyword(s):

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 ◽

Author(s):

Igor A. Siveroni

Keyword(s):

Virtual Machine ◽

Operational Semantics ◽

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 ◽

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 ◽

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):

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 ◽

Author(s):

Xiaoxue Yu ◽

Dawei Zhang

Keyword(s):

Download Full-text