Supervisors: Research Director Dr. Elena Trichina, (2003)


Download Links

by In Smart Card Environment

Active Bibliography

Spécialité ”Communication et Électronique“ – Doctorat Paristech, Telecom Paristech, Guillaume Barbu, M. Jean-louis Lanet, M. Renaud Pacalet, Lab Soc, Télécom Paristech Examinateur, M. Pascal Urien, Dép Infres, Télécom Paristech Examinateur - 2013
84 Java Bytecode Verification: Algorithms and Formalizations – Xavier Leroy, Inria Rocquencourt, Trusted Logic S. A - 2003
1 Formalising the Safety of Java, the Java Virtual Machine and Java Card – Pieter H. Hartel, Luc Moreau
6 Computer security from a programming language and static analysis perspective – Xavier Leroy - 2003
2 A space-aware bytecode verifier for Java Cards – Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci - 2005
15 Verified Bytecode Subroutines – G. Klein, M. Wildmoser - 2003
6 Verified Bytecode Verification and Type-Certifying Compilation – Gerwin Klein, Martin Strecker - 2003
21 Building an "impossible" verifier on a Java Card – Damien Deville Deville, Gilles Grimaud
3 Proofing: An Efficient and Safe Alternative to Mobile-Code Verification – Andreas Gal, Christian W. Probst, Michael Franz - 2003
Java Bytecode Verification With Dynamic Structures – Cinzia Bernardeschi Luca, Key Words - 2004
Trading-Off Type-Inference Memory Complexity against Communication – Konstantin Hyppönen, David Naccache, Elena Trichina, Alexei Tchoulkine, Gemplus Card International - 2003
39 Bytecode verification on Java smart cards – Xavier Leroy - 2002
JCAT: An environment for attack and test on Java Card™ – Serge Chaumette, Iban HATCHONDO, Damien Sauveron - 2003
97 A machine-checked model for a Java-like language, virtual machine and compiler – Gerwin Klein, Tobias Nipkow - 2004
1 Experience with Randomized Testing in Programming Language Metatheory – Casey Klein - 2009
Controlling and Optimizing the Usage of One Resource – Antoine Gall, Mathieu Baudet
2 Assessing the Future of Smart Card Operating Systems – Damien Deville, Antoine Galland, Gilles Grimaud, Sébastien Jean
New Security Problems Raised by Open Multiapplication Smart Cards – Serge Chaumette, Damien Sauveron
42 A Formal Framework for the Java Bytecode Language and Verifier – Stephen N. Freund, John C. Mitchell - 1999
2 Proofing: Efficient SSA-based Java Verification – Andreas Gal, Andreas Gal, Christian W. Probst, Christian W. Probst, Michael Franz, Michael Franz - 2004