Articles de conférence de la DCSSI

Les publications scientifiques ci-dessous ont été rédigées par des membres des laboratoires de la DCSSI dans le cadre de leur activité de recherche.

|ACPI et routine de traitement de la SMI : des limites à l’informatique de confiance ?|L. Duflot, O. Levillain|SSTIC 2009, 03/06/2009|2009|
|ACPI, design principles and concerns
|L.Duflot, O. Levillain, B. Morin|Trust 2009, April|2009|
|Getting into the SMRAM : SMM Reloaded|L.Duflot, O. Grumelard, O. Levillain, B. Morin|CanSecWest, March|2009|
|SHABAL, a SHA-3 Submission|E. Bresson, A. Canteaut, B. Chevallier-Mames, C. Clavier, T. Fuhr, A. Gouget, T. Icart, J.-F. Misarsky, M. Naya-Plasencia, P. Paillier, T. Pornin, J.-R. Reinhard, C. Thuillet and M. Videau|The First SHA-3 Candidate Conference, Leuven, BE. February 25th–28th 2009|2009|
|A Few Remarks About Formal Development of Secure Systems|E. Jaeger and T. Hardin|HASE (High assurance system engineering). December 2008|2008|
|How to use Merkle-Damgard — On the Security Relations between Signature Schemes and their Inner Hash Functions|E. Bresson, B. Chevallier-Mames, C. Clavier, A. Gouget, P. Paillier and T. Peyrin|In Proc. of ProvSec ’08, vol. 5324 of LNCS, pp. 241–253, Berlin, 2008|2008|
|Bogues et piégeages des processeurs, quelle conséquence sur la sécurité?|Loïc Duflot|SSTIC 2008, 04/06/2008|2008|
|"Separation Results on the ""One-More"" Computational Problems"|Emmanuel Bresson, Jean Monnerat, Damien Vergnaud|RSA 2008 LNCS 4964, 71--87, 08/04/2008|2008|
|CPU bugs, CPU backdoors and consequences on security|Loïc Duflot|ESORICS'08 A paraître, 06/10/2008|2008|
|Group Key Exchange Secure Against Strong Corruptions|Emmanuel Bresson, Mark Manulis|ASIA CCS 2008 ACM Press, 249--260, 17/03/2008|2008|
|Programmed I/O, a threat to virtual machine monitors?|L.Duflot L. Absil|PacSec , Novembre|2007|
|Decryptable Searchable Encryption|Thomas Fuhr, Pascal Paillier|PROVSEC 2007 LNCS 4784, 228-236, 01/11/2007|2007|
|Improved On-Line/Off-Line Threshold Signatures|Emmanuel Bresson, Dario Catalano, Rosario Gennaro|PKC 2007 LNCS 4450, 217-232, 16/04/2007|2007|
|Why Would You Trust B?|Eric Jaeger, Catherine Dubois|LPAR 2007 LNAI 4790 pp. 288-302, Novembre|2007|
|On Security Models and Compilers for Group Key Exchange Protocols|Emmanuel Bresson, Mark Manulis, Jörg Schwenk|IWSEC 2007 LNCS 4752, 292-307, 29/10/2007|2007|
|Overtaking VEST|Antoine Joux, Jean-René Reinhard|FSE 2007 LNCS 4593, 58-72, 26/03/2007|2007|
|A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness|Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi|CRYPTO 2007 LNCS 4622, 482-499, 19/08/2007|2007|
|Malicious Participants in Group Key Exchange: Key Control and Contributiveness in the Shadow of Trust|Emmanuel Bresson, Mark Manulis|ATC 2007 LNCS 4610, 395-409, 11/07/2007|2007|
| Utiliser les fonctionnalités des cartes mères ou des processeurs pour contourner les mécanismes de sécurité des systèmes d'exploitation|L.Duflot D. Etiemble O. Grumelard|SSTIC , Mai|2006|
|About the Security of MTI/C0 and MQV|Sébastien Kunz-Jacques, David Pointcheval|SCN 2006 LNCS 4116, 156-172, 06/09/2006|2006|
|A New Key Exchange Protocol Based on MQV Assuming Public Computations|Sébastien Kunz-Jacques, David Pointcheval|SCN 2006 LNCS 4116, 186-200, 06/09/2006|2006|
|Cryptanalysis of an efficient proof of knowledge of discrete logarithm|Sébastien Kunz-Jacques, Gwenaëlle Martinet, Guillaume Poupard, Jacques Stern|PKC 2006 LNCS 3958, 27-43, 24/04/2006|2006|
|High order attacks against the Exponent Splitting Protection |Frédéric Muller, Frédéric Valette|PKC 2006 LNCS 3958, 315-329, 24/04/2006|2006|
|Cryptanalysis of Achterbahn|Thomas Johansson, Willi Meier, Frédéric Muller|FSE 2006 LNCS 4047, 1-14, 15/03/2006|2006|
|Chosen-Ciphertext Attacks against MOSQUITO|Antoine Joux, Frédéric Muller|FSE 2006 LNCS 4047, 390-404, 15/03/2006|2006|
|Cryptanalysis of a partially blind signature scheme or 'How to make 100$ bills with 1$ and 2$ ones'|Gwenaëlle Martinet, Guillaume Poupard, Philippe Sola|FC 2006 LNCS 4107, 171-176, 27/02/2006|2006|
|Power Attack on Small RSA Public Exponent|Pierre-Alain Fouque, Sébastien Kunz-Jacques, Gwenaëlle Martinet, Frédéric Muller et Frédéric Valette|CHES 2006 LNCS 4249, 339-353, 10/10/2006|2006|
| Security Issues Related to Pentium System Management Mode|L.Duflot O. Grumelard D. Etiemble|"CanSecWest invited presentation" , April|2006|
|Phelix: Fast Encryption and Authentication in a Single Cryptographic Primitive|Doug Whiting, Bruce Schneier, Stefan Lucks, Frederic Muller|SKEW 2005 , 26/05/2005|2005|
|Cryptanalysis of the F-FCSR Stream Cipher Family|Eliane Jaulmes, Frédéric Muller|SAC 2005 LNCS 3897, 20-35, 11/08/2005|2005|
|Cryptanalysis of the Tractable Map Cryptosystem|Antoine Joux, Sébastien Kunz-Jacques, Frédéric Muller, Pierre-Michel Ricordel|PKC 2005 LNCS 3386, 258-274, 23/01/2005|2005|
|Two Attacks Against the HBB Stream Cipher|Antoine Joux, Frédéric Muller|FSE 2005 LNCS 3557, 330-341, 21/02/2005|2005|
|A Clock-less low-voltage AES crypto-processor|F. Bouesse M. Renaudin A. Witon F. Germain|European Solid-State Circuits Conference , September|2005|
|Formalizing and Improving DPA resistance of Quasi Delay Insensitive Asynchronous circuits|F. Bouesse M. Renaudin F. Germain S. Dumont|Design Automation and Test in Europe DATE 2005, 424-429, March|2005|
|Resistance of Randomized Projective Coordinates Against Power Analysis|William Dupuy, Sébastien Kunz-Jacques|CHES 2005 LNCS 3659, 29/08/2005|2005|
|A New Baby-Step Giant-Step Algorithm and Some Applications to Cryptanalysis|Jean-Sébastien Coron, David Lefranc, Guillaume Poupard|CHES 2005 LNCS 3659, 47-60, 29/08/2005|2005|
|New Improvements of Davies-Murphy Cryptanalysis|Sébastien Kunz-Jacques, Frédéric Muller|ASIACRYPT 2005 LNCS 3788, 425-442, 04/12/2005|2005|
|Some Attacks Against a Double Length Hash Proposal|Lars Knudsen, Frédéric Muller|ASIACRYPT 2005 LNCS 3788, 462-473, 04/12/2005|2005|
|Linear Cryptanalysis of the TSC Family of Stream Ciphers|Frédéric Muller, Thomas Peyrin|ASIACRYPT 2005 LNCS 3788, 373-394, 04/12/2005|2005|
|SCARE of the DES (Side Channel Analysis for Reverse Engineering of the Data Encryption Standard)|Rémy Daudigny, Hervé Ledig, Frédéric Muller, Frédéric Valette|ACNS 2005 LNCS 3531, 393-408, 06/06/2005|2005|
|Differential Attacks and Stream Ciphers|Frédéric Muller|SASC 133-146, 14/10/2004|2004|
|Blockwise Adversarial Model for On-line Ciphers and Symmetric Encryption Schemes|Pierre-Alain Fouque, Antoine Joux, G. Poupard|SAC 2004 LNCS 3357, 212-231, 09/08/2004|2004|
|Differential Attacks against the Helix Stream Cipher|Frédéric Muller|FSE 2004 LNCS 3017, 94-108, 05/02/2004|2004|
|High Security Smartcards|M. Renaudin F. Bouesse Ph. Proust J.P. Tual L. Sourgen F. Germain|Design Automation and Test in Europe DATE 2004, 228-233, February|2004|
|Multicollisions in Iterated Hash Functions|Antoine Joux|CRYPTO 2004 LNCS 3152, 306-316, 15/08/2004|2004|
|Defeating Countermeasures Based on Randomized BSD Representations|Pierre-Alain Fouque, Frédéric Muller, Guillaume Poupard, Frédéric Valette|CHES 2004 LNCS 3156, 312-327, 11/08/2004|2004|
|Enhancing Collision Attacks|Hervé Ledig, Frédéric Muller, Frédéric Valette|CHES 2004 LNCS 3156, 176-190, 11/08/2004|2004|
|The Davies-Murphy Power Attack|Sébastien Kunz-Jacques, Frédéric Muller, Frédéric Valette|ASIACRYPT 2004 LNCS 3329, 451-467, 05/12/2004|2004|
|The MD2 Hash Function is Not One-Way|Frédéric Muller|ASIACRYPT 2004 LNCS 3329, 214-229, 05/12/2004|2004|
|Authenticated On-Line Encryption|Pierre-Alain Fouque, Antoine Joux, Gwenaëlle Martinet, Frédéric Valette|SAC 2003 LNCS 3006, 145-159, 14/08/2003|2003|
|A Chosen IV Attack Against Turing|Antoine Joux, Frédéric Muller|SAC 2003 LNCS 3006, 194-207, 14/08/2003|2003|
|Practical Symmetric On-Line Encryption|Pierre-Alain Fouque, Gwenaëlle Martinet, Guillaume Poupard|FSE 2003 LNCS 2887, 362-375, 24/02/2003|2003|
|New Attacks against Standardized MACs|Antoine Joux, Guillaume Poupard, Jacques Stern|FSE 2003 LNCS 2887, 170-181, 24/02/2003|2003|
|Loosening the KNOT|Antoine Joux, Frédéric Muller|FSE 2003 LNCS 2887, 87-99, 24/02/2003|2003|
|On the Security of RDSA|Pierre-Alain Fouque, Guillaume Poupard|EUROCRYPT 2003 LNCS 2656, 462-476, 04/05/2003|2003|
|Cryptanalysis of the EMD Mode of Operation|Antoine Joux|EUROCRYPT 2003 LNCS 2565, 1-16, 04/05/2003|2003|
|Algebraic Cryptanalysis of Hidden Field Equation (HFE) Cryptosystems Using Gröbner Bases|Jean-Charles Faugère, Antoine Joux|CRYPTO 2003 LNCS 2729, 44-60, 17/08/2003|2003|
|Attacking Unbalanced RSA-CRT Using SPA|Pierre-Alain Fouque, Gwenaëlle Martinet, Guillaume Poupard|CHES 2003 LNCS 2779, 254-268, 07/09/2003|2003|
|The Doubling Attack - Why Upwards Is Better than Downwards|Pierre-Alain Fouque, Frédéric Valette|CHES 2003 LNCS 2779, 269-280, 07/09/2003|2003|
|The Insecurity of Esign in Practical Implementations|Pierre-Alain Fouque, Nick Howgrave-Graham, Gwenaëlle Martinet, Guillaume Poupard|ASIACRYPT 2003 LNCS 2894, 492-506, 30/11/2003|2003|
|A New Attack against Khazad|Frédéric Muller|ASIACRYPT 2003 LNCS 2894, 347-358, 30/11/2003|2003|
|On Using Conditional Definitions in Formal Theories|Jean-Raymond Abrial Louis Mussat|ZB 2002 LNCS 2272 pp. 242-269, January 23-25 2002|2002|
|Some modes of use of the GPS identification scheme|Marc Girault, Guillaume Poupard, Jacques Stern|Third NESSIE Workshop , 07/11/2002|2002|
|Contrôle d'intégrité de la séquence de démarrage d'un ordinateur|Florent Chabaud Noël Cuillandre|SECI'02 pp. 105-114 Centre de Calcul El Khawarizmi ed., Septembre|2002|
|On the Security of Randomized CBC-MAC Beyond the Birthday Paradox Limit: A New Construction|Éliane Jaulmes, Antoine Joux, Frédéric Valette|FSE 2002 LNCS 2364, 237-251, 04/02/2002|2002|
|Fast Correlation Attacks: An Algorithmic Point of View|Philippe Chose, Antoine Joux, Michel Mitton|EUROCRYPT 2002 LNCS 2332, 209-221, 28/04/2002|2002|
|Blockwise-Adaptive Attackers: Revisiting the (In)Security of Some Provably Secure Encryption Models: CBC, GEM, IACBC|Antoine Joux, Gwenaëlle Martinet, Frédéric Valette|CRYPTO 2002 LNCS 2242, 17-30, 18/08/2002|2002|
|The Weil and Tate Pairings as Building Blocks for Public Key Cryptosystems|Antoine Joux|ANTS 2002 20-32, 07/07/2002|2002|
|The Function Field Sieve Is Quite Special|Antoine Joux, Reynald Lercier|ANTS 2002 431-445, 07/07/2002|2002|
|Practical multi-candidate election system|Olivier Baudron, Pierre-Alain Fouque, David Pointcheval, Guillaume Poupard, Jacques Stern|PODC 2001 ACM, 274-283, 26/08/2001|2001|
|Cryptanalysis of PKP: A New Approach|Éliane Jaulmes, Antoine Joux|PKC 2001 LNCS 1992, 165-172, 13/02/2001|2001|
|On the Security of Homage Group Authentication Protocol|Éliane Jaulmes, Guillaume Poupard|Financial Cryptography 2001 LNCS 2339, 106-116, 19/02/2001|2001|
|A Statistical Attack on RC6|Henri Gilbert, Helena Handschuh, Antoine Joux, Serge Vaudenay|FSE 2000 LNCS 1978, 64-74, 10/04/2000|2000|
|A NICE Cryptanalysis|Éliane Jaulmes, Antoine Joux|EUROCRYPT 2000 LNCS 1807, 382-391, 14/05/2000|2000|
|A Chosen-Ciphertext Attack against NTRU|Éliane Jaulmes, Antoine Joux|CRYPTO 2000 LNCS 1880, 20-35, 20/08/2000|2000|
|Why Textbook ElGamal and RSA Encryption Are Insecure|Dan Boneh, Antoine Joux, Phong Q. Nguyen|ASIACRYPT 2000 LNCS 1976, 30-43, 03/12/2000|2000|
|A One Round Protocol for Tripartite Diffie-Hellman|Antoine Joux|ANTS 2000 385-394, 02/07/2000|2000|

Les articles publiés dans Lecture Notes in Computer Science (LNCS) sont © Springer-Verlag.