Back to home
 

Gemplus Research Publications

This page lists most of the Gemplus research publications. Gemplus researchers also participate in many  program committees, steering committes and editorial boards.

Note: All this material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases these works may not be reposted without the explicit permission of the copyright holder.

[2005] [2004][2003] [2002] [2001] [2000] [1999] [1998] [1997] [1996] [1995] [1994]

2005

 

2004

2003

2002

  • Reducing the memory complexity of type-inference algorithms (PostScript) (PDF)
    by David Naccache, Alexei Tchoulkine, Christophe Tymen, and Elena Trichina
    In R.H. Deng, S. Qing, F. Bao, and J. Zhou, Eds., Information and Communications Security, vol. 2513 of Lecture Notes in Computer Science, pp. 109-121, Springer-Verlag, 2002

  • A protected division algorithm (PostScript) (PDF)
    by Marc Joye and Karine Villegas
    In P. Honeyman, Ed., Fifth Smart Card Research and Advanced Application Conference (CARDIS '02), pp. 69-74, Usenix Association, 2002

  • Secure chipcard personalization or how to fool malicious insiders
    by Helena Handschuh, Pascal Paillier, David Naccache, and Christophe Tymen
    In P. Honeyman, Ed., Fifth Smart Card Research and Advanced Application Conference (CARDIS '02), pp. 41-50, Usenix Association, 2002

  • Towards testing automation (PostScript) (PDF)
    by Fabien Combret, Hugues Martin, Lydie du Bousquet, Pierre Bontron, and Olivier Maury
    In 4th Gemplus Developer Conference, Singapore, November 12-14, 2002

  • Musclecard: Smart card in GNU Linux & al. (Gzipped PostScript) (PDF) (PDF Abstract)
    by Ludovic Rousseau and David Corcoran
    In 4th Gemplus Developer Conference, Singapore, November 12-14, 2002

  • Smart cards as first-class network citizens (PDF)
    by Christophe Muller and Eric Deschamps
    In 4th Gemplus Developer Conference, Singapore, November 12-14, 2002

  • A better use of smart cards in PKIs (PostScript) (PDF)
    by Nathalie Feyt and Marc Joye
    In 4th Gemplus Developer Conference, Singapore, November 12-14, 2002

  • Next-generation embedded Java operating system for smart cards (PDF)
    by Laurent Lagosanto
    In 4th Gemplus Developer Conference, Singapore, November 12-14, 2002

  • Next-generation Java Card framework (PDF)
    by Gregory Bussard
    In 4th Gemplus Developer Conference, Singapore, November 12-14, 2002

  • Ubiquitous personalization: A smart card based approach (PDF)
    by Olivier Potonniée
    In 4th Gemplus Developer Conference, Singapore, November 12-14, 2002

  • JACK: Java applet correctness kit (PDF)
    by Lilian Burdy and Antoine Requet
    In 4th Gemplus Developer Conference, Singapore, November 12-14, 2002

  • An in-card bytecode optimization for objects management in Java-based smart cards (PDF)
    by Laurent Fournerie
    In 4th Gemplus Developer Conference, Singapore, November 12-14, 2002

  • MMU-based software cache and swap mechanisms for smart card operating systems (PDF)
    by Olivier Lobry
    In 4th Gemplus Developer Conference, Singapore, November 12-14, 2002

  • Checking secure interactions of smart card applets: extended version (PostScript) (PDF)
    by Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, and Guy Zanon
    Journal of Computer Security, 10(4):369-398, 2002

  • Security of digital signature standards: The state of the art
    by David Naccache
    In S.-P. Shieh, Ed., 2nd International Workshop for Asian Public Key Infrastructures, pp. 159-163, Taipei, Taiwan, October 30-November 1, 2002

  • Off-line/on-line generation of RSA keys with smart cards (PostScript) (PDF)
    by Nathalie Feyt, Marc Joye, David Naccache, and Pascal Paillier
    In S.-P. Shieh, Ed., 2nd International Workshop for Asian Public Key Infrastructures, pp. 153-158, Taipei, Taiwan, October 30-November 1, 2002

  • Java verifier
    by Christèle Faure, Jean-Louis Lanet, and Yves Denneulin
    In Journées Réseau National des Technologies Logicielles (RNTL), Toulouse, France, October 23-25, 2002

  • Construction correcte de logiciels pour carte à puce (PDF)
    Ludovic Casset, PhD thesis, Université d'Aix-Marseille II, Marseille, France, October 2002

  • Recovering lost efficiency of exponentiation algorithms on smart cards (PostScript) (PDF)
    by Marc Joye
    Electronics Letters, 38(19):1095-1097, 2002

  • How to use RSA; or how to improve the efficiency of RSA without loosing its security (PostScript) (PDF)
    by Marc Joye and Pascal Paillier
    In U. Schulte, Ed., ISSE 2002, on CD-ROM, Paris, France, October 2-4, 2002

  • How to explain fault attacks to your kids
    by David Naccache
    In U. Schulte, Ed., ISSE 2002, on CD-ROM, Paris, France, October 2-4, 2002

  • The use of B for smart card (PDF)
    by Jean-Louis Lanet
    In Forum on Specification & Design Languages (FDL '02), Marseille, France, September 24-27, 2002

  • Increasing smart card dependability (PDF)
    by Ludovic Casset and Jean-Louis Lanet
    In E. Jul, Ed., Tenth ACM SIGOPS European Workshop, pp. 209-212, ACM Press, 2002

  • Enabling adaptive and secure extranets (PDF)
    by Yves Roudier, Olivier Fouache, Pierre Vannel, and Refik Molva
    In B. Jerman-Blazic and T. Klobucar, Eds., Advanced Communications and Multimedia Security (IFIP CMS 2002), vol. 228 of IFIP Conference Proceedings, Kluwer, 2002

  • Reducing the memory complexity of type-inference algorithms
    by David Naccache, Alexei Tchoulkine, Elena Trichina, and Christophe Tymen
    In Eurosmart 2002, French Riviera, France, September 19-20, 2002

  • Security proof for partial-domain hash signature schemes (PostScript) (PDF)
    by Jean-Sébastien Coron
    In M. Yung, Ed., Advances in Cryptology -- CRYPTO 2002, vol. 2442 of Lecture Notes in Computer Science, pp. 613-626, Springer-Verlag, 2002

  • Universal padding schemes for RSA (PostScript) (PDF)
    by Jean-Sébastien Coron, Marc Joye, David Naccache, and Pascal Paillier
    In M. Yung, Ed., Advances in Cryptology -- CRYPTO 2002, vol. 2442 of Lecture Notes in Computer Science, pp. 226-241, Springer-Verlag, 2002

  • The Jacobi model of an elliptic curve and side-channel analysis (PostScript) (PDF)
    by Olivier Billet and Marc Joye
    Report 2002/125, Cryptology ePrint Archive, August 2002

  • Universal padding schemes for RSA (PostScript) (PDF)
    by Jean-Sébastien Coron, Marc Joye, David Naccache, and Pascal Paillier
    Report 2002/115, Cryptology ePrint Archive, August 2002

  • Development of an embedded verifier for Java Card byte code using formal methods (PDF)
    by Ludovic Casset
    In L.-H. Eriksson and P. Lindsay, Eds., FME 2002: Formal Methods - Getting IT Right, vol. 2391 of Lecture Notes in Computer Science, pp. 290-309, Springer-Verlag, 2002

  • Formal development of an embedded verifier for Java Card byte code (PDF)
    by Ludovic Casset, Lilian Burdy, and Antoine Requet
    In International Conference on Dependable Systems & Networks (DSN '02), pp. 51-58, IEEE Press, 2002

  • Monotone signatures (PostScript) (PDF)
    by David Naccache, David Pointcheval, and Christophe Tymen
    In P.F. Syverson, Ed., Financial Cryptography (FC 2001), vol. 2339 of Lecture Notes in Computer Science, pp. 305-318, Springer-Verlag, 2002

  • Why to use CC for IT-products & systems? (Gzipped PostScript) (PDF) (PDF Abstract)
    by Bruno Rouchouze
    In 3rd International Common Criteria Conference (ICCC), on CD-ROM, Ottawa, Canada, May 13-14, 2002

  • The modular approach: A composite product evaluation for smart cards (Gzipped PostScript) (PDF) (PDF Abstract)
    by Hans-Gerd Albertsen and Françoise Forge
    In 3rd International Common Criteria Conference (ICCC), on CD-ROM, Ottawa, Canada, May 13-14, 2002

  • Smart card EAL5+ common criteria evaluation experiments for Java card platform embedded software (Gzipped PostScript) (PDF) (PDF Abstract)
    by Corinne Téri
    In 3rd International Common Criteria Conference (ICCC), on CD-ROM, Ottawa, Canada, May 13-14, 2002

  • Optimal security proofs for PSS and other signature schemes (PostScript) (PDF)
    by Jean-Sébastien Coron
    In L.R. Knudsen, Ed., Advances in Cryptology -- EUROCRYPT 2002, vol. 2332 of Lecture Notes in Computer Science, pp. 272-287, Springer-Verlag, 2002

  • Practical JavaCard bytecode compression (PostScript) (PDF)
    by Gabriel Bizzotto and Gilles Grimaud
    In Symposium en Architectures Nouvelles de Machines (RENPAR14/ASF/SympA), Hamamet, Tunisia, April 2002

  • Composite-residuosity based cryptography: An overview
    by Pascal Paillier
    Cryptobytes, 5(1):20-26, Winter/Spring 2002

  • Java Card platform on-card bytecode verifier, the ultimate step (PDF)
    by Ludovic Casset, Damien Deville, and Jean-Louis Lanet
    In 2002 JavaOne Conference (Technical Session), San Francisco, USA, March 25-29, 2002

  • Smart card based ubiquitous service access for nomad users (PDF)
    by Olivier Potonniée
    In 2002 JavaOne Conference (Technical Session), San Francisco, USA, March 25-29, 2002

  • Gemclassifier, a formally developed smart card (PDF)
    by Jean-Louis Lanet
    In High Confidence Software and Systems (HCSS '02), pp. 17-23, Baltimore, Maryland, USA, March 2002

  • Contrôle des ressources dans les cartes à microprocesseur (PostScript) (PDF)
    by Antoine Galland, Damien Deville, Gilles Grimaud, and Bertil Folliot
    In 1er Congrès Logiciel Temps Réels Embarqués (LTRE), Toulouse, France, January 24-25, 2002

  • Optimal chosen-ciphertext secure encryption of arbitrary-length messages (PostScript) (PDF)
    by Jean-Sébastien Coron, Helena Handschuh, Marc Joye, Pascal Paillier, David Pointcheval, and Christophe Tymen
    Report 2002/011, Cryptology ePrint Archive, January 2002

  • New minimal modified radix-r representation with applications to smart cards (PostScript) (PDF)
    by Marc Joye and Sung-Ming Yen
    In D. Naccache and P. Paillier, Eds., Public Key Cryptography, vol. 2274 of Lecture Notes in Computer Science, pp. 375-384, Springer-Verlag, 2002

  • One-way cross-trees and their applications (PostScript) (PDF)
    by Marc Joye and Sung-Ming Yen
    In D. Naccache and P. Paillier, Eds., Public Key Cryptography, vol. 2274 of Lecture Notes in Computer Science, pp. 346-356, Springer-Verlag, 2002

  • Weierstrass elliptic curves and side-channel attacks (PostScript) (PDF)
    by Éric Brier and Marc Joye
    In D. Naccache and P. Paillier, Eds., Public Key Cryptography, vol. 2274 of Lecture Notes in Computer Science, pp. 335-345, Springer-Verlag, 2002

  • Optimal chosen-ciphertext secure encryption of arbitrary-length messages (PostScript) (PDF)
    by Jean-Sébastien Coron, Helena Handschuh, Marc Joye, Pascal Paillier, David Pointcheval, and Christophe Tymen
    In D. Naccache and P. Paillier, Eds., Public Key Cryptography, vol. 2274 of Lecture Notes in Computer Science, pp. 17-33, Springer-Verlag, 2002

  • Public Key Cryptography (PDF Abstract),
    David Naccache and Pascal Paillier, Eds., vol. 2274 of Lecture Notes in Computer Science, Springer-Verlag, 2002

  • GEM: A generic chosen-ciphertext secure encryption method (PostScript) (PDF)
    by Jean-Sébastien Coron, Helena Handschuh, Marc Joye, Pascal Paillier, David Pointcheval, and Christophe Tymen
    In B. Preneel, Ed., Topics in Cryptology -- CT-RSA 2002, vol. 2271 of Lecture Notes in Computer Science, pp. 263-276, Springer-Verlag, 2002

  • Observability analysis: Detecting when improved cryptosystems fail (PostScript) (PDF)
    by Marc Joye, Jean-Jacques Quisquater, Sung-Ming Yen, and Moti Yung
    In B. Preneel, Ed., Topics in Cryptology -- CT-RSA 2002, vol. 2271 of Lecture Notes in Computer Science, pp. 17-29, Springer-Verlag, 2002

  • Embedding formal development into a smart card: a Java Card Byte Code Verifier (PostScript) (PDF)
    by Ludovic Casset
    In M. Butler and T. Muntean, Eds., International Workshop on Refinement of Critical Systems: Methods, Tools and Experience (RCS), Grenoble, France, January 22, 2002

     

2001

2000