Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Frédéric Valette

dblp:80/2967 · DBLP profile ↗
← Back
21ranked-venue papers
0as first author
0since 2021 · last 2010
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 15Systems, architecture and hardware · 6Software engineering, systems software and programming languages · 3

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
8 papers
Hardware security and side channels · 57% Cryptographic primitives and cryptanalysis · 43%

Topics — the 19 heaviest of 20, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Hardware security and side channels
side-channel attack
0.462009
Practical Electromagnetic Template Attack on HMAC · CHES 2009
The Carry Leakage on the Randomized Exponent Countermeasure · CHES 2008
Power Attack on Small RSA Public Exponent · CHES 2006
Hardware security and side channels › side-channel attack
power analysis
0.232008
The Carry Leakage on the Randomized Exponent Countermeasure · CHES 2008
Power Attack on Small RSA Public Exponent · CHES 2006
The Doubling Attack - Why Upwards Is Better than Downwards · CHES 2003
Cryptographic primitives and cryptanalysis
public-key cryptography
0.232006
Power Attack on Small RSA Public Exponent · CHES 2006
Defeating Countermeasures Based on Randomized BSD Representations · CHES 2004
The Doubling Attack - Why Upwards Is Better than Downwards · CHES 2003
Hardware security and side channels › side-channel attack
electromagnetic side channel
0.112009
Practical Electromagnetic Template Attack on HMAC · CHES 2009
Cryptographic primitives and cryptanalysis › message authentication codes
HMAC
0.112009
Practical Electromagnetic Template Attack on HMAC · CHES 2009
Cryptographic primitives and cryptanalysis
message authentication codes
0.112009
Practical Electromagnetic Template Attack on HMAC · CHES 2009
Hardware security and side channels
side-channel countermeasures
0.112008
The Carry Leakage on the Randomized Exponent Countermeasure · CHES 2008
Cryptographic primitives and cryptanalysis › public-key cryptography › public-key cryptanalysis
RSA cryptanalysis
0.112006
Power Attack on Small RSA Public Exponent · CHES 2006
Hardware security and side channels › side-channel attack › power analysis
simple power analysis
0.112006
Power Attack on Small RSA Public Exponent · CHES 2006
Cryptographic primitives and cryptanalysis › hash function cryptanalysis
collision attack
0.012004
Enhancing Collision Attacks · CHES 2004
Cryptographic primitives and cryptanalysis › public-key cryptography
elliptic curve cryptography
0.012004
Defeating Countermeasures Based on Randomized BSD Representations · CHES 2004
Cryptographic primitives and cryptanalysis › hash function cryptanalysis
hash function collision
0.012004
Enhancing Collision Attacks · CHES 2004
Hardware security and side channels › side-channel countermeasures
power analysis countermeasure
0.012004
Defeating Countermeasures Based on Randomized BSD Representations · CHES 2004
Hardware security and side channels › side-channel attack
power attack
0.012004
The Davies-Murphy Power Attack · ASIACRYPT 2004
Cryptographic primitives and cryptanalysis › public-key cryptography
modular exponentiation
0.012003
The Doubling Attack - Why Upwards Is Better than Downwards · CHES 2003
Cryptographic primitives and cryptanalysis › block cipher
block cipher modes
0.012002
Blockwise-Adaptive Attackers: Revisiting the (In)Security of Some Provably Secure Encryption Models: CBC, GEM, IACBC · CRYPTO 2002
Cryptographic primitives and cryptanalysis › block cipher › block cipher modes
CBC mode
0.012002
Blockwise-Adaptive Attackers: Revisiting the (In)Security of Some Provably Secure Encryption Models: CBC, GEM, IACBC · CRYPTO 2002
Cryptographic primitives and cryptanalysis
block cipher
0.012004
The Davies-Murphy Power Attack · ASIACRYPT 2004
Cryptographic primitives and cryptanalysis
provable security
0.012002
Blockwise-Adaptive Attackers: Revisiting the (In)Security of Some Provably Secure Encryption Models: CBC, GEM, IACBC · CRYPTO 2002

Methods — techniques the papers use, named apart from their topics

power analysis · 0.1template attack · 0.1electromagnetic analysis · 0.1randomized BSD representations · 0.0collision attack · 0.0doubling attack · 0.0blockwise-adaptive attack · 0.0
YearPublicationVenuePosition
2010 Dependability analysis of a countermeasure against fault attacks by means of laser shots onto a SRAM-based FPGA
abstract
Laser-based fault injections are currently the most efficient technique that can be used to attack a secure system, since they have very high timing and location precision. Several papers have shown that a secret key may be recovered from ASICs and countermeasures have been proposed. But little research has been addressed at the specific case of secure protected implementations in SRAM-based FPGAs. This paper presents the results of laser-based fault injections on an architecture computing the AES encryption algorithm, protected by an error detection scheme, and implemented on a Virtex device. The results are compared to previous emulated fault injection campaigns and prove the criticality of remnant errors in the configuration of a FPGA used for secure applications. An improved countermeasure is also proposed and validated with a new experimental campaign.
Gaetan Canivet, Paolo Maistri, Régis Leveugle, Frédéric Valette, Jessy Clédière, Marc Renaudin
ASAP4
2010 Characterization of the Electromagnetic Side Channel in Frequency Domain
Olivier Meynard, Denis Réal, Sylvain Guilley, Florent Flament, Jean-Luc Danger, Frédéric Valette
Inscrypt6
2010 Robustness evaluation and improvements under laser-based fault attacks of an AES crypto-processor implemented on a SRAM-based FPGA
abstract
Programmable devices like SRAM-based FPGAs, thanks to their low cost and high flexibility, are increasingly used for security applications; the mam drawback is their configuration memory, sensitive to perturbations. Symmetric cryptosystems are highly vulnerable to fault injections [1], but very few papers have reported laser-based fault attacks onto a secure implementation on a SRAM-based FPGA.
Gaetan Canivet, P. Maistn, Régis Leveugle, Frédéric Valette, Jessy Clédière, Marc Renaudin
ETS4
2009 Practical Electromagnetic Template Attack on HMAC
Pierre-Alain Fouque, Gaëtan Leurent, Denis Réal, Frédéric Valette
CHES4
2009 Enhancing correlation electromagnetic attack using planar near-field cartography
abstract
In the field of the Side Channel Analysis (SCA), the electromagnetic radiation of a cryptographic device is the richest source of information. Indeed, it permits to be more accurate by positioning smartly the EM probe near a given logic, filtering the signal that is not useful regarding a given attack. But this advantage can become easily a drawback if the attacker is unable to position her probe onto the device. Our contribution consists in giving an accurate method detecting an hot spot onto the device, i.e. the position where a correlation electromagnetic attack (CEMA) should be the most successful. This strategy is based on an indicator evaluated during a cartography. Its performance has been tested on an hardware AES implemented on an Altera Stratix II.
Denis Réal, Frédéric Valette, M'hamed Drissi
DATE2
2009 Fault Attack on Schnorr Based Identification and Signature Schemes
abstract
In this paper, we study the security of Schnorr based identification and signature schemes. Like the carry attack of Fouque et al. at CHES last year, we exploit the carry knowledge from fault attack on other public-key schemes like DSA and other ECDSA signature scheme, Schnorr and GPS authentication and signature schemes. These attacks can be used to recover very efficiently the secret key and it is worth noticing that the complexity of the attack depends on the equation involving the secret key. We also present different techniques to learn the carry leakage using fault analysis.
Pierre-Alain Fouque, Delphine Masgana, Frédéric Valette
FDTC3
2009 Characterization of Effective Laser Spots during Attacks in the Configuration of a Virtex-II FPGA
abstract
SRAM-based FPGAs are an appealing platform to implement many systems, including secure ones. However, secure systems are subject to attacks and one of the main threats is fault-based attacks using lasers. The sensitivity of the configuration memory in a SRAM-based FPGA has to be studied in this context. This paper reports on the characterization of the effective laser spot, or effective sensitive area, with respect to the laser focus and to the attacked configuration bits. The test vehicle is a Virtex II FPGA. It is shown in particular that the initial value of the bit has a strong influence on the effective sensitive area of the spot. Such data can be used to better understand the actual effects of an attack and to design more efficient counter-measures. Also, it is shown that attacks based on single bit flips in the configuration are possible in practice even with relatively large laser spots.
Gaetan Canivet, Régis Leveugle, Jessy Clédière, Frédéric Valette, Marc Renaudin
VTS4
2008 On the Security of the CCM Encryption Mode and of a Slight Variant
Pierre-Alain Fouque, Gwenaëlle Martinet, Frédéric Valette, Sébastien Zimmer
ACNS3
2008 SCARE of an Unknown Hardware Feistel Implementation
Denis Réal, Vivien Dubois, Anne-Marie Guilloux, Frédéric Valette, M'hamed Drissi
CARDIS4
2008 The Carry Leakage on the Randomized Exponent Countermeasure
Pierre-Alain Fouque, Denis Réal, Frédéric Valette, M'hamed Drissi
CHES3
2008 Defeating classical Hardware Countermeasures: a new processing for Side Channel Analysis
abstract
In the field of the side channel analysis, hardware distortions such as glitches and random frequency are classical countermeasures. A glitch influences the side channel amplitude while a random frequency damages the signal both in time and in amplitude. For minimizing these countermeasures effects, some trace treatments based on peak extraction or auto-correlation methods exist. However, none of them takes into account the amplitude mistake. In this paper, we show that this amplitude mistake is created by glitches but also by a random frequency. We propose then a reshaping processing that erases these effects on side channel traces both on the time and amplitude axis. The solution reconstructed a side channel signal, avoiding the hardware countermeasures and the clock relativity consequences which can be meaningful for Side Channel Attacks. Its efficiency is demonstrated on a Differential Power Attack performed on a DES implementation and on a Template Attack performed on a RSA implementation.
Denis Réal, Cécile Canovas, Jessy Clédière, M'hamed Drissi, Frédéric Valette
DATE5
2008 Fault Attack onElliptic Curve Montgomery Ladder Implementation
abstract
In this paper, we present a new fault attack on elliptic curve scalar product algorithms. This attack is tailored to work on the classical Montgomery ladder method when the $y$-coordinate is not used. No weakness has been reported so far on such implementations, which are very efficient and were promoted by several authors. But taking into account the twist of the elliptic curves, we show how, with few faults (around one or two faults), we can retrieve the full secret exponent even if classical countermeasures are employed to prevent fault attacks. It turns out that this attack has not been anticipated as the security of the elliptic curve parameters in most standards can be strongly reduced. Especially, the attack is meaningful on some NIST or SECG parameters.
Pierre-Alain Fouque, Reynald Lercier, Denis Réal, Frédéric Valette
FDTC4
2008 Detailed Analyses of Single Laser Shot Effects in the Configuration of a Virtex-II FPGA
abstract
Due to their reconfigurability and their high density of resources, SRAM-based FPGAs are more and more used in embedded systems. For some applications (Pay-TV,Banking, Telecommunication ...), a high level of security is needed. FPGAs are intrinsically sensitive to ionizing effects, such as light stimulation, and attackers can try to exploit faults injected in the downloaded configuration. Previous studies presented the results obtained with multiple laser shots across different elements of the device. The exact effect of a single laser shot was not studied; a global picture of the type of generated errors was rather drawn. This work analyses the effects of a single laser shot onto the configuration memory. Results take into account several diameters of pulsed laser spots targeted on several types of logical blocks and compare theirs effects.
Gaetan Canivet, Jessy Clédière, Jean Baptiste Ferron, Frédéric Valette, Marc Renaudin, Régis Leveugle
IOLTS4
2006 Power Attack on Small RSA Public Exponent
Pierre-Alain Fouque, Sébastien Kunz-Jacques, Gwenaëlle Martinet, Frédéric Muller, Frédéric Valette
CHES5
2005 SCARE of the DES
Rémy Daudigny, Hervé Ledig, Frédéric Muller, Frédéric Valette
ACNS4
2004 The Davies-Murphy Power Attack
Sébastien Kunz-Jacques, Frédéric Muller, Frédéric Valette
ASIACRYPT3
2004 Defeating Countermeasures Based on Randomized BSD Representations
Pierre-Alain Fouque, Frédéric Muller, Guillaume Poupard, Frédéric Valette
CHES4
2004 Enhancing Collision Attacks
Hervé Ledig, Frédéric Muller, Frédéric Valette
CHES3
2003 The Doubling Attack - Why Upwards Is Better than Downwards
Pierre-Alain Fouque, Frédéric Valette
CHES2
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
CRYPTO3
2002 On the Security of Randomized CBC-MAC Beyond the Birthday Paradox Limit: A New Construction
Éliane Jaulmes, Antoine Joux, Frédéric Valette
FSE3