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

  • Trapdooring discrete logarithms on elliptic curves over rings (PostScript) (PDF)
    by Pascal Paillier
    In T. Okamoto, Ed., Advances in Cryptology -- ASIACRYPT 2000, vol. 1976 of Lecture Notes in Computer Science, pp. 573-584, Springer-Verlag, 2000

  • From fixed-length to arbitrary-length RSA padding schemes (PostScript) (PDF)
    by Jean-Sébastien Coron, François Koeune, and David Naccache
    In T. Okamoto, Ed., Advances in Cryptology -- ASIACRYPT 2000, vol. 1976 of Lecture Notes in Computer Science, pp. 90-96, Springer-Verlag, 2000

  • Java Card, RMI and Jini -- Showing Jini in action with Java Card (PDF)
    by Laurent Lagosanto and Jean-Jacques Vandewalle
    In 5th Jini Community Meeting, Amsterdam, The Nederlands, December10-11, 2000

  • CESURE: une plate-forme d'applications adaptables et sécurisées pour usagers mobiles (PDF)
    by Marie-Claude Pellegrini, Olivier Potonniée, Raphaël Marvie, Sébastien Jean, and Michel Riveill
    Calculateurs Parallèles, 12(1), 2000

  • Application of the B formal method to the proof of a type verification algorithm (PostScript) (PDF)
    by Antoine Requet, Ludovic Casset, and Gilles Grimaud
    In High Assurance Systems Engineering Symposium (HASE 2000), IEEE Press, 2000

  • SHACAL (PostScript) (PDF)
    by Helena Handschuh and David Naccache
    In B. Preneel, Ed., First Open NESSIE Workshop, Leuven, Belgium, November 13-14, 2000

  • Trust relations in a digital signature system based on a smart-card (PostScript) (PDF)
    by Jean-Luc Giraud and Ludovic Rousseau
    In Cartes 2000, pp. 429-440, Paris, France, October 24-26, 2000

  • Filigrane: An electronic copyright framework (PDF)
    by Pierre Vannel and Guy Tsobgni
    In B. Stanford-Smith and P.T. Kidd, Eds., E-business: Key Issues, Applications and Technologies, 2000

  • Trust relations in a digital signature system based on a smart-card (PostScript) (PDF)
    by Jean-Luc Giraud and Ludovic Rousseau
    In 23rd National Information Systems Security Conference (NISSC 2000), Baltimore, USA, October 16-19, 2000

  • Using B method to formalize the Java Card Runtime security policy for a Common Criteria evaluation (Gzipped PostScript) (PDF)
    by Stéphanie Motré and Corinne Téri
    In 23rd National Information Systems Security Conference (NISSC 2000), Baltimore, USA, October 16-19, 2000

  • Smart cards: A system support for service accessibility from heterogeneous devices (PDF)
    by Raphaël Marvie, Marie-Claude Pellegrini, and Olivier Potonniée
    In Ninth ACM SIGOPS European Workshop, pp. 117-135, ACM Press, 2000

  • Checking before output may not be enough against fault-based cryptanalysis (PostScript) (PDF)
    by Sung-Ming Yen and Marc Joye
    IEEE Transactions on Computers, 49(9):967-970, 2000

  • Embedding formally proved code in a smart card: Converting B to C (PDF)
    by Antoine Requet and Gaëlle Bossu
    In 3rd International Conference on Formal Engineering Methods (ICFEM '00), pp. 15-24, IEEE Press, 2000

  • JCCap: Capability-based access control for Java Card (PostScript) (PDF)
    by Daniel Hagimont and Jean-Jacques Vandewalle
    In J. Domingo-Ferrer, D. Chan, and A. Watson, Eds., Smart Card Research and Applications Conference (CARDIS 2000), vol. 180 of IFIP International Federation for Information Processing, pp. 365-388, Kluwer, 2000

  • Efficient generation of prime numbers (PostScript) (PDF)
    by Marc Joye, Pascal Paillier, and Serge Vaudenay
    In Ç.K. Koç and C. Paar, Eds., Cryptographic Hardware and Embedded Systems -- CHES 2000, vol. 1965 of Lecture Notes in Computer Science, pp. 340-354, Springer-Verlag, 2000

  • Differential power analysis in the presence of hardware countermeasures (Gzipped PostScript) (PDF)
    by Christophe Clavier, Jean-Sébastien Coron, and Nora Dabbous
    In Ç.K. Koç and C. Paar, Eds., Cryptographic Hardware and Embedded Systems -- CHES 2000, vol. 1965 of Lecture Notes in Computer Science, pp. 252-263, Springer-Verlag, 2000

  • On boolean and arithmetic masking against differential power analysis (PostScript) (PDF)
    by Jean-Sébastien Coron and Louis Goubin
    In Ç.K. Koç and C. Paar, Eds., Cryptographic Hardware and Embedded Systems -- CHES 2000, vol. 1965 of Lecture Notes in Computer Science, pp. 231-237, Springer-Verlag, 2000

  • How to explain side-channel leakage to your kids? (PostScript) (PDF)
    by David Naccache and Michael Tunstall
    In Ç.K. Koç and C. Paar, Eds., Cryptographic Hardware and Embedded Systems -- CHES 2000, vol. 1965 of Lecture Notes in Computer Science, pp. 229-230, Springer-Verlag, 2000

  • Checking secure interactions of smart card applets (PostScript) (PDF)
    by Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, and Guy Zanon
    In F. Cuppens, Y. Deswarte, D. Gollmann, and M. Waidner, Eds., Computer Security -- ESORICS 2000, vol. 1895 of Lecture Notes in Computer Science, pp. 1-16, Springer-Verlag, 2000

  • A practical and provably secure coalition-resistant group signature scheme (PostScript) (PDF)
    by Giuseppe Ateniese, Jan Camenisch, Marc Joye, and Gene Tsudik
    In M. Bellare, Ed., Advances in Cryptology -- CRYPTO 2000, vol. 1880 of Lecture Notes in Computer Science, pp. 255-270, Springer-Verlag, 2000

  • On the exact security of full domain hash (PostScript) (PDF)
    by Jean-Sébastien Coron
    In M. Bellare, Ed., Advances in Cryptology -- CRYPTO 2000, vol. 1880 of Lecture Notes in Computer Science, pp. 229-235, Springer-Verlag, 2000

  • Automatic test generation for Java-Card applets (PostScript) (PDF)
    by Lydie du Bousquet and Hugues Martin
    In 4th Workshop on Tools for System Design and Verification, Reisensburg, Germany, July 10-13, 2000

  • Are smart cards the ideal domain for applying formal methods? (PDF)
    by Jean-Louis Lanet
    In J.P. Bowen, S. Dunne, A. Galloway, and S. King, Eds., ZB 2000: Formal Specification and Development in Z and B, vol. 1878 of Lecture Notes in Computer Science, pp. 363-373, Springer-Verlag, 2000

  • Smart card crypto-processors for public-key cryptography (PostScript) (PDF)
    by Helena Handschuh and Pascal Paillier
    In J.-J. Quisquater and B. Schneier, Eds., Smart Card Research and Applications (CARDIS '98), vol. 1820 of Lecture Notes in Computer Science, pp. 386-394, Springer-Verlag, 2000

  • Reducing the collision probability of alleged Comp128 (PostScript) (PDF)
    by Helena Handschuh and Pascal Paillier
    In J.-J. Quisquater and B. Schneier, Eds., Smart Card Research and Applications (CARDIS '98), vol. 1820 of Lecture Notes in Computer Science, pp. 380-385, Springer-Verlag, 2000

  • Secure personalization using proxy cryptography (PostScript) (PDF)
    by Pierre Girard
    In J.-J. Quisquater and B. Schneier, Eds., Smart Card Research and Applications (CARDIS '98), vol. 1820 of Lecture Notes in Computer Science, pp. 340-349, Springer-Verlag, 2000

  • Developing smart card-based application using Java Card (PostScript) (PDF)
    by Jean-Jacques Vandewalle and Éric Vétillard
    In J.-J. Quisquater and B. Schneier, Eds., Smart Card Research and Applications Conference (CARDIS '98), vol. 1820 of Lecture Notes in Computer Science, Springer-Verlag, 2000

  • The vault, an architecture for smartcards to gain infinite memory (PostScript) (PDF)
    by Patrick Biget
    In J.-J. Quisquater and B. Schneier, Eds., Smart Card Research and Applications Conference (CARDIS '98), vol. 1820 of Lecture Notes in Computer Science, Springer-Verlag, 2000

  • Formal proof of smart card applets correctness (PDF)
    by Jean-Louis Lanet and Antoine Requet
    In J.-J. Quisquater and B. Schneier, Eds., Smart Card Research and Applications Conference (CARDIS '98), vol. 1820 of Lecture Notes in Computer Science, pp. 85-97, Springer-Verlag, 2000

  • A B automaton for authentication process (PDF)
    by Stéphanie Motré
    In P. Degano, Ed., Workshop on Issues in the Theory of Security (WITS), Geneva, Switzerland, July 7-8, 2000

  • Optimal left-to-right binary signed-digit recoding (PostScript) (PDF)
    by Marc Joye and Sung-Ming Yen
    IEEE Transactions on Computers, 49(7):740-748, 2000

  • From smart cards to smart objects: The road to the new smart technologies (PDF)
    by Denis Praca and Claude Barral
    In 2nd Gemplus Developer Conference, Montpellier, France, June 20-21, 2000

  • Smart cards and smart objects communication protocols: Looking to the future (PDF)
    by Denis Praca and Anne-Marie Praden
    In 2nd Gemplus Developer Conference, Montpellier, France, June 20-21, 2000

  • Filigrane framework (PDF)
    by Pierre Vannel
    In 2nd Gemplus Developer Conference, Montpellier, France, June 20-21, 2000

  • Value-added services: How to benefit from smart cards (PDF)
    by Raphaël Marvie, Marie-Claude Pellegrini, Olivier Potonniée, and Sébastien Jean
    In 2nd Gemplus Developer Conference, Montpellier, France, June 20-21, 2000

  • A smart card login module for Java authentication and authorization service (PostScript) (PDF)
    by Laurent Gauteron and Pierre Girard
    In 2nd Gemplus Developer Conference, Montpellier, France, June 20-21, 2000

  • Service registry for open smart cards (PDF)
    by Alain Macaire
    In 2nd Gemplus Developer Conference, Montpellier, France, June 20-21, 2000

  • Detecting illegal information flow using abstract interpretation and model checking (PostScript) (PDF)
    by Pierre Bieber, Jacques Cazin, Abdellah El-Marouani, Pierre Girard, Jean-Louis Lanet, Rodolphe Muller, Virginie Wiels, and Guy Zanon
    In 2nd Gemplus Developer Conference, Montpellier, France, June 20-21, 2000

  • Software guidelines for secure smartcard-based systems (Gzipped PostScript) (PDF) (PDF Abstract)
    by Christophe Bidan and Ludovic Rousseau
    In L. Marting, Ed., EuroSmart Security Conference, pp. 489-498, Marseille, France, June 13-15, 2000

  • Using formal and semiformal methods for a Common Criteria evaluation (PostScript) (PDF) (PDF Abstract)
    by Stéphanie Motré and Corinne Téri
    In L. Marting, Ed., EuroSmart Security Conference, pp. 337-349, Marseille, France, June 13-15, 2000
     
  • Tools for integrating the Java Card API into Jini connection technology (PDF)
    by Jean-Jacques Vandewalle and Éric Vétillard
    In JavaOne Conference, San Francisco, USA, June 6-9, 2000

  • An open terminal infrastructure for hosting personal services (PostScript) (PDF)
    by Alain Macaire
    In R. Mitchell, Ed., Technology of Object-Oriented Languages and Systems (TOOLS 33), pp. 10-21, IEEE Press, 2000

  • New attacks on PKCS#1 v1.5 encryption (PostScript) (PDF)
    by Jean-Sébastien Coron, Marc Joye, David Naccache, and Pascal Paillier
    In B. Preneel, Ed., Advances in Cryptology -- EUROCRYPT 2000, vol. 1807 of Lecture Notes in Computer Science, pp. 369-381, Springer-Verlag, 2000

  • Security analysis of the Gennaro-Halevi-Rabin signature scheme (PostScript) (PDF)
    by Jean-Sébastien Coron and David Naccache
    In B. Preneel, Ed., Advances in Cryptology -- EUROCRYPT 2000, vol. 1807 of Lecture Notes in Computer Science, pp. 91-101, Springer-Verlag, 2000

  • Opencard introduction & overview a framework approach to smart cards services (Gzipped PostScript)
    by Christophe Muller
    In CardTech/SecurTech (CTST), Miami, USA, May 1, 2000

  • Certification d'un porte-monnaie électronique (PostScript) (PDF)
    by Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, and Guy Zanon
    In Formalisation des Activités Concurrentes (FAC 2000), Toulouse, France, May 18, 2000

  • Adaptabilité des applications pour des usagers mobiles (PDF)
    by Michel Riveill, Marie-Claude Pellegrini, Olivier Potonniée, and Raphaël Marvie
    In Objets, Composants, Modèles (OCM 2000), Nantes, France, May 18, 2000

  • A B model for ensuring soundness of a large subset of the Java Card virtual machine (PostScript) (PDF)
    by Antoine Requet
    In 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), vol. 91 of GMD Report, pp. 29-46, GMD, 2000

  • Sécurité des systèmes ouverts pour cartes à puces (PDF)
    by Jean-Louis Lanet
    In 4ème École d'Informatique des SYstèmes PArallèles et Répartis (ISYPAR 2000), Toulouse, France, February 1-3, 2000

  • Formal model and implementation of the Java Card dynamic security policy (PDF)
    by Stéphanie Motré
    In Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Grenoble, France, January 28-30, 2000

  • Self-escrowed public-key infrastructures (PostScript) (PDF)
    by Pascal Paillier and Moti Yung
    In J.S. Song, Ed., Information Security and Cryptology (ICISC '99), vol. 1787 of Lecture Notes in Computer Science, pp. 257-268, Springer-Verlag, 2000

  • A universal encryption standard (PostScript) (PDF)
    by Helena Handschuh and Serge Vaudenay
    In H. Heys and C. Adams, Eds., Selected Areas in Cryptography (SAC '99), vol. 1758 of Lecture Notes in Computer Science, pp. 1-12, Springer-Verlag, 2000

  • Electronic purse applet certification (PostScript) (PDF)
    by Pierre Bieber, Jacques Cazin, Virginie Wiels, Guy Zanon, Pierre Girard, and Jean-Louis Lanet
    In S. Schneider and P. Ryan, Eds., Workshop on Secure Architectures and Information Flow, vol. 32 of Electronic Notes in Theoretical Computer Science, Elsevier, 2000

     

1999

  • Padding attacks on RSA (PostScript) (PDF)
    by David Naccache
    Information Security Technical Report, 4(4):28-33, 1999

  • The use of the B formal method for the design and the validation of the transaction mechanism for smart card applications (PDF)
    by Denis Sabatier and Pierre Lartigue
    Formal Methods in System Design, 17(3):245-272, 1999

  • Industrial use of formal methods at Gemplus (PDF)
    by Jean-Louis Lanet
    In Workshop on Modelling and Verification, Besançon, France, December 9-11, 1999

  • Using test hypotheses to build a UML model of object-oriented smart card applications (PDF)
    by Hugues Martin
    In 12th International Conference Software & Systems Engineering and their Applications (ICSSEA), Paris, France, December 8-10, 1999

  • Electronic payments: Where do we go from here? (PostScript) (PDF)
    by Markus Jakobsson, David M'Raïhi, Yiannis Tsiounis, and Moti Yung
    In R. Baumgart, Ed., Secure Networking - CQRE [Secure] '99, vol. 1740 of Lecture Notes in Computer Science, pp. 43-63, Springer-Verlag, 1999

  • Cryptanalysis of two group signature schemes (PostScript) (PDF)
    by Marc Joye, Seungjoo Kim, and Narn-Yih Lee
    In M. Mambo and Y. Zheng, Eds., Information Security, vol. 1729 of Lecture Notes in Computer Science, pp. 271-275, Springer-Verlag, 1999

  • On the security of the Lee-Chang group signature scheme and its derivatives (PostScript) (PDF)
    by Marc Joye, Narn-Yih Lee, and Tzonelih Hwang
    In M. Mambo and Y. Zheng, Eds., Information Security, vol. 1729 of Lecture Notes in Computer Science, pp. 47-51, Springer-Verlag, 1999

  • Probing attacks on tamper-resistant devices (PostScript) (PDF)
    by Helena Handschuh, Pascal Paillier, and Jacques Stern
    In Ç.K. Koç and C. Paar, Eds., Cryptographic Hardware and Embedded Systems (CHES '99), vol. 1717 of Lecture Notes in Computer Science, pp. 303-315, Springer-Verlag, 1999

  • Resistance against differential power analysis for elliptic curve cryptosystems (PostScript) (PDF)
    by Jean-Sébastien Coron
    In Ç.K. Koç and C. Paar, Eds., Cryptographic Hardware and Embedded Systems (CHES '99), vol. 1717 of Lecture Notes in Computer Science, pp. 292-302, Springer-Verlag, 1999

  • Efficient public-key cryptosystems provably secure against active adversaries (PostScript) (PDF)
    by Pascal Paillier and David Pointcheval
    In K.Y. Lam and E. Okamoto, Eds., Advances in Cryptology -- ASIACRYPT '99, vol. 1716 of Lecture Notes in Computer Science, pp. 165-179, Springer-Verlag, 1999

  • ECC: do we need to count? (PostScript) (PDF)
    by Jean-Sébastien Coron, Helena Handschuh, and David Naccache
    In K.Y. Lam and E. Okamoto, Eds., Advances in Cryptology -- ASIACRYPT '99, vol. 1716 of Lecture Notes in Computer Science, pp. 122-134, Springer-Verlag, 1999

  • Fast algorithms for elliptic curve cryptosystems over binary finite fields (PostScript) (PDF)
    by Yongfei Han, Peng-Chor Leong, Peng-Chong Tan, and Jiang Zhang
    In K.Y. Lam and E. Okamoto, Eds., Advances in Cryptology -- ASIACRYPT '99, vol. 1716 of Lecture Notes in Computer Science, pp. 75-85, Springer-Verlag, 1999

  • FAÇADE: A typed intermediate language dedicated to smart cards (PostScript) (PDF)
    by Gilles Grimaud, Jean-Louis Lanet, and Jean-Jacques Vandewalle
    In O. Nierstrasz and M. Lemoine, Eds., Software Engineering - ESEC/FSE '99, vol. 1687 of Lecture Notes in Computer Science, pp. 476-493, Springer-Verlag, 1999

  • Cryptographie à clé publique basée sur la résiduosité de degré composite (Gzipped PostScript) (PDF)
    Pascal Paillier, PhD thesis, École Nationale Supérieure des Télécommunications, Paris, France, September 1999

  • Cryptanalyse et sécurité des algorithmes à clé secrète (Gzipped PostScript) (PDF) (PDF Abstract)
    Helena Handschuh, PhD thesis, École Nationale Supérieure des Télécommunications, Paris, France, September 1999

  • On the security of RSA padding (PostScript) (PDF)
    by Jean-Sébastien Coron, David Naccache, and Julien P. Stern
    In M. Wiener, Ed., Advances in Cryptology -- CRYPTO '99, vol. 1666 of Lecture Notes in Computer Science, pp. 1-18, Springer-Verlag, 1999

  • A personal agent manager for mobile users (PostScript) (PDF)
    by Alain Macaire, David Carlier, and Pierre Paradinas
    In European Multimedia Embedded Systems and Electronic Commerce Conference (EMMSEC '99), Stockholm, Sweden, June 21-23, 1999

  • A formal specification of the Java byte code semantics using the B method (PDF)
    by Ludovic Casset and Jean-Louis Lanet
    In B. Jacobs, G.T. Leavens, P. Müller, and A. Poetzsch-Heffer, Eds., Formal Techniques for Java Programs (ECOOP '99), pp. 1-8, Lisbon, Portugal, June 14, 1999

  • On the security of double and 2-key triple modes of operation (PostScript) (PDF)
    by Helena Handschuh and Bart Preneel
    In L. Knudsen, Ed., Fast Software Encryption (FSE '99), vol. 1636 of Lecture Notes in Computer Science, pp. 215-230, Springer-Verlag, 1999

  • New security issues raised by open cards (PostScript) (PDF)
    by Pierre Girard and Jean-Louis Lanet
    Information Security Technical Report, 4(2):19-27, 1999

  • Construction of distributed applications based on smart cards (PDF)
    by Jean-Jacques Vandewalle
    In 3rd European Research Seminar on Advances in Distributed Systems (ERSADS '99), Madeira Island, April 23-28, 1999

  • Recent results on signature forgery (PostScript) (PDF)
    by Robert D. Silverman and David Naccache
    RSA Laboratories Bulletin, 11, April 1999

  • How to develop export-oriented smart solutions? (PostScript) (PDF)
    by Christophe Bidan and Pierre Girard
    In 1st Gemplus Developer Conference, Paris, France, June 21-22, 1999

  • How smarcards can benefit from Internet technologies to break memory constraints (PDF)
    by Patrick Biget
    In 1st Gemplus Developer Conference, Paris, France, June 21-22, 1999

  • Developing smart card-based application using Java Card
    by Jean-Jacques Vandewalle and Éric Vétillard
    In 1st Gemplus Developer Conference, Paris, France, June 21-22, 1999

  • A semi formal model of Java Card 2.1 in UML (PDF)
    by Olivier Carre, Hugues Martin, and Jean-Jacques Vandewalle
    In 1st Gemplus Developer Conference, Paris, France, June 21-22, 1999

  • OpenCard Framework 1.1.1 and beyond: A Java framework for accessing smartcards (PDF)
    by Christophe Muller
    In 1st Gemplus Developer Conference, Paris, France, June 21-22, 1999

  • Java Card or how to cope with the new security issues raised by open cards? (PostScript) (PDF)
    by Pierre Girard and Jean-Louis Lanet
    In 1st Gemplus Developer Conference, Paris, France, June 21-22, 1999

  • Monnaie électronique et contrôle de l'anonymat (Gzipped PostScript) (PDF) (PDF Abstract)
    David M'Raïhi, PhD thesis, Université de Paris 7, Paris, France, June 1999

  • A personal naming and directory service for UMTS users (PDF)
    by Alain Macaire and David Carlier
    In H. Zuidweg, M. Campolargo, J. Delgado, and A.P. Mullery, Eds., Intelligence and Services in Networks (IS&N '99), vol. 1597 of Lecture Notes in Computer Science, pp. 250-262, Springer-Verlag, 1999

  • Public-key cryptosystems based on composite degree residuosity classes (PostScript) (PDF)
    by Pascal Paillier
    In J. Stern, Ed., Advances in Cryptology -- EUROCRYPT '99, vol. 1592 of Lecture Notes in Computer Science, pp. 223-238, Springer-Verlag, 1999

  • Which security policy for multiapplication smart cards? (PostScript) (PDF)
    by Pierre Girard
    In USENIX Workshop on Smartcard Technology, pp. 21-28, Usenix Association, 1999

  • A personal naming and directory service for mobile Internet users (PDF)
    by Alain Macaire and David Carlier
    In USENIX Workshop on Smartcard Technology, Usenix Association, 1999

  • DFC update (PostScript) (PDF)
    by Olivier Baudron, Henri Gilbert, Louis Granboulan, Helena Handschuh, Robert Harley, Antoine Joux, Phong Nguyen, Fabrice Noilhan, David Pointcheval, Thomas Pornin, Guillaume Poupard, Jacques Stern, and Serge Vaudenay
    In Second AES Candidate Conference (AES2), Rome, Italy, March 22-23, 1999

  • Report on the AES candidates (PostScript) (PDF)
    by Olivier Baudron, Henri Gilbert, Louis Granboulan, Helena Handschuh, Antoine Joux, Phong Nguyen, Fabrice Noilhan, David Pointcheval, Thomas Pornin, Guillaume Poupard, Jacques Stern, and Serge Vaudenay
    In Second AES Candidate Conference (AES2), Rome, Italy, March 22-23, 1999

  • Decision oracles are equivalent to matching oracles (PostScript) (PDF)
    by Helena Handschuh, Yiannis Tsiounis, and Moti Yung
    In H. Imai and Y. Zheng, Eds., Public Key Cryptography (PKC '99), vol. 1560 of Lecture Notes in Computer Science, pp. 276-289, Springer-Verlag, 1999

  • Evaluating differential fault analysis of unknown cryptosystems (PostScript) (PDF)
    by Pascal Paillier
    In H. Imai and Y. Zheng, Eds., Public Key Cryptography (PKC '99), vol. 1560 of Lecture Notes in Computer Science, pp. 235-244, Springer-Verlag, 1999

  • Low-cost double-size modular exponentiation or how to stretch your cryptoprocessor (PostScript) (PDF)
    by Pascal Paillier
    In H. Imai and Y. Zheng, Eds., Public Key Cryptography (PKC '99), vol. 1560 of Lecture Notes in Computer Science, pp. 223-234, Springer-Verlag, 1999

  • A trapdoor permutation equivalent to factoring (PostScript) (PDF)
    by Pascal Paillier
    In H. Imai and Y. Zheng, Eds., Public Key Cryptography (PKC '99), vol. 1560 of Lecture Notes in Computer Science, pp. 219-222, Springer-Verlag, 1999

  • On the security of RSA screening (PostScript) (PDF)
    by Jean-Sébastien Coron and David Naccache
    In H. Imai and Y. Zheng, Eds., Public Key Cryptography (PKC '99), vol. 1560 of Lecture Notes in Computer Science, pp. 197-203, Springer-Verlag, 1999

  • How to copyright a function? (PostScript) (PDF)
    by David Naccache, Adi Shamir, and Julien P. Stern
    In H. Imai and Y. Zheng, Eds., Public Key Cryptography (PKC '99), vol. 1560 of Lecture Notes in Computer Science, pp. 188-196, Springer-Verlag, 1999

  • On the security of random sources (PostScript) (PDF)
    by Jean-Sébastien Coron
    In H. Imai and Y. Zheng, Eds., Public Key Cryptography (PKC '99), vol. 1560 of Lecture Notes in Computer Science, pp. 29-42, Springer-Verlag, 1999

  • A timing attack on RC5 (PostScript) (PDF)
    by Helena Handschuh and Howard M. Heys
    In S. Tavares and H. Meijer, Eds., Selected Areas in Cryptography (SAC '98), vol. 1556 of Lecture Notes in Computer Science, pp. 306-318, Springer-Verlag, 1999

  • Mix-based electronic payments (PostScript) (PDF)
    by Markus Jakobsson and David M'Raïhi
    In S. Tavares and H. Meijer, Eds., Selected Areas in Cryptography (SAC '98), vol. 1556 of Lecture Notes in Computer Science, pp. 157-173, Springer-Verlag, 1999

  • Computational alternatives to random number generators (PostScript) (PDF)
    by David M'Raïhi, David Naccache, David Pointcheval, and Serge Vaudenay
    In S. Tavares and H. Meijer, Eds., Selected Areas in Cryptography (SAC '98), vol. 1556 of Lecture Notes in Computer Science, pp. 72-80, Springer-Verlag, 1999

  • An accurate evaluation of Maurer's universal test (PostScript) (PDF)
    by Jean-Sébastien Coron and David Naccache
    In S. Tavares and H. Meijer, Eds., Selected Areas in Cryptography (SAC '98), vol. 1556 of Lecture Notes in Computer Science, pp. 57-71, Springer-Verlag, 1999

  • Accelerating Okamoto-Uchiyama's public-key cryptosystem (PostScript) (PDF)
    by Jean-Sébastien Coron, David Naccache, and Pascal Paillier
    Electronics Letters, 35(4):291-292, 1999

     

1998

  • Open Platforms for Smart Cards (PDF)
    by Patrick George
    In CardTech/SecurTech West, San Jose, USA, December 8-9, 1998
     
  • GemXpresso : Gemplus JavaCard 2.0 SDK (PDF)
    by Patrick George
    In CardTech/SecurTech, Washington, USA, April 27-30, 1998 
     
  • A new public key cryptosystem based on higher residues (PostScript) (PDF)
    by David Naccache and Jacques Stern
    In 5th ACM Conference on Computer and Communications Security, pp. 59-66, ACM Press, 1998

  • Extended memory card (PDF)
    by Patrick Biget and Jean-Jacques Vandewalle
    In European Multimedia Microprocessor Systems and Electronic Commerce Conference (EMMSEC '98), Bordeaux, France, September 28-30, 1998

  • Smart card crypto-coprocessors for public-key cryptography
    by Helena Handschuh and Pascal Paillier
    CryptoBytes, 4(1):6-11, 1998

  • Using B method to model protocols (PostScript) (PDF)
    by Jean-Louis Lanet
    In Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), pp. 79-90, Poitiers, France, September 30 - October 1, 1998

  • How to improve an exponentiation black-box (PostScript) (PDF)
    by Gérard D. Cohen, Antoine Lobstein, David Naccache, and Gilles Zémor
    In K. Nyberg, Ed., Advances in Cryptology -- EUROCRYPT '98, vol. 1403 of Lecture Notes in Computer Science, pp. 211-220, Springer-Verlag, 1998

  • Distributed trustees and revokability: a framework for Internet payment (PostScript) (PDF)
    by David M'Raïhi and David Pointcheval
    In R. Hirschfeld, Ed., Financial Cryptography, vol. 1465 of Lecture Notes in Computer Science, pp. 28-41, Springer-Verlag, 1998

  • The use of formal methods for smart cards, a comparison between B and SDL to model the T=1 protocol (PDF)
    by Jean-Louis Lanet and Pierre Lartigue
    In International Workshop on Comparing Systems Specification Techniques, pp. 3-16, Nantes, France, March 1998

  • On ideal non-perfect secret sharing schemes (PostScript) (PDF)
    by Pascal Paillier
    In B. Christianson, B. Crispo, T.M.A. Lomas, and M. Roe, Eds., Security Protocols, vol. 1361 of Lecture Notes in Computer Science, pp. 207-216, Springer-Verlag, 1998

     

1997

1996

  • Cost-effective payment schemes with privacy regulation (PostScript) (PDF)
    by David M'Raïhi
    In K. Kim and T. Matsumoto, Eds., Advances in Cryptology -- ASIACRYPT '96, vol. 1163 of Lecture Notes in Computer Science, pp. 266-275, Springer-Verlag, 1996

  • Cryptographic smart-cards (PostScript) (PDF)
    by David Naccache and David M'Raïhi
    IEEE Micro, 16(3):14-24, 1996 (Japanese version in Nikkei Electronics, no. 672, pp. 95-110)

  • Batch exponentiation: a fast DLP-based signature generation strategy (PostScript) (PDF)
    by David M'Raïhi and David Naccache
    In 3rd ACM Conference on Computer and Communications Security, pp. 58-61, ACM Press, 1996

  • Arithmetic co-processors for public-key cryptography: The state of the art (PostScript) (PDF)
    by David Naccache and David M'Raïhi
    In P.H. Hartel, P. Paradinas, and J.-J. Quisquater, Eds., Second Smart Card Research and Applications Conference (CARDIS '96), pp. 39-58, Amsterdam, The Nederlands, September 16-18, 1996

  • Second Smart Card Research and Applications Conference (CARDIS '96)
    Pieter H. Hartel, Pierre Paradinas, and Jean-Jacques Quisquater, Eds., Amsterdam, The Netherlands, September 16-18, 1996

  • GOST 34.10: a brief overview of Russia's DSA (PostScript) (PDF)
    by Markus Michels, David Naccache, and Holger Petersen
    Computers & Security, 15(8):725-732, 1996

  • Object oriented approach for smart card operating system and integration into information system
    by Pierre Paradinas and Jean-Jacques Vandewalle
    In IFIP TC11 Security and Protection in Information Systems, Samos, Greece, May 1996

     

1995

1994

  • Colourful cryptography (PostScript) (PDF)
    by David Naccache
    In French Israeli Workshop on Coding and Information Theory, Ministry of science and the arts - Ministère des affaires étrangères, December 8, 1994

  • Protection des données électroniques
    Pierre Paradinas, Ed., Association Française des Sciences et Technologies de l'Information et des Systèmes (AFCET), 1994

  • New directions for integrated circuit cards operating systems (PDF)
    by Pierre Paradinas and Jean-Jacques Vandewalle
    In 6th ACM SIGOPS European Workshop -- Matching Operating Systems to Application Needs, pp. 5-10, ACM Press, 1994

  • Why you cannot even hope to use Gröbner bases in public-key cryptography? An open letter to a scientist who failed and a challenge to those who have not yet failed (PostScript) (PDF)
    by B. Barkee, Deh Cac Can (D. Naccache read backwards), J. Ecks, T. Moriarty, and R.F. Ree
    Journal of Symbolic Computation, 18(6):497-501, 1994

  • Couponing scheme reduces computational power requirements for DSS signatures (PostScript) (PDF)
    by David M'Raïhi and David Naccache
    In CardTech/SecurTech, pp. 99-104, Rockville, MD, USA, 1994, CTST Inc.

  • How to integrate smart cards in standard software without writing specific code? (PostScript) (PDF)
    by Pierre Paradinas and Jean-Jacques Vandewalle
    In CardTech/SecurTech, pp. 69-85, Rockville, MD, USA, 1994, CTST Inc.

  • A personal and portable database server: the CQL Card (PostScript) (PDF)
    by Pierre Paradinas and Jean-Jacques Vandewalle
    In W. Litwin and T. Risch, Eds., Application of Databases, vol. 819 of Lecture Notes in Computer Science, pp. 444-457, Springer-Verlag, 1994

  • Montgomery-suitable cryptosystems (PostScript) (PDF)
    by David Naccache and David M'Raïhi
    In G. Cohen, S. Litsyn, A. Lobstein, and G. Zémor, Eds., Algebraic Coding, vol. 781 of Lecture Notes in Computer Science, pp. 75-81, Springer-Verlag, 1994

  • Can O.S.S. be repaired? Proposal for a new practical signature scheme (PostScript) (PDF)
    by David Naccache
    In T. Helleseth, Ed., Advances in Cryptology -- EUROCRYPT '93, vol. 765 of Lecture Notes in Computer Science, pp. 233-239, Springer-Verlag, 1994