23 citations · 46 across the 14 of their papers we have counts for
6 papers · 1 filter
Formally Proved Security of Assembly Code Against Power Analysis: A Case Study on Balanced Logic
Pablo Rauzy, Sylvain Guilley, Zakaria Najm
In his keynote speech at CHES 2004, Kocher advocated that side-channel attacks were an illustration that formal cryptography was not as secure as it was believed because some assum…
Countermeasures Against High-Order Fault-Injection Attacks on CRT-RSA
Pablo Rauzy, Sylvain Guilley
In this paper we study the existing CRT-RSA countermeasures against fault-injection at-tacks. In an attempt to classify them we get to achieve deep understanding of how they work.…
A Formal Proof of Countermeasures against Fault Injection Attacks on CRT-RSA
Pablo Rauzy, Sylvain Guilley
In this article, we describe a methodology that aims at either breaking or proving the security of CRT-RSA implementations against fault injection attacks. In the specific case-stu…
Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack: A Pledge for Formal Methods in the Field of Implementation Security
Pablo Rauzy, Sylvain Guilley
In our paper at PROOFS 2013, we formally studied a few known countermeasures to protect CRT-RSA against the BellCoRe fault injection attack. However, we left Vigilant's countermeas…
Side-Channel Oscilloscope
Sumanta Chaudhuri, Sylvain Guilley
Side-Channel Analysis used for codebreaking could be used constructively as a probing tool for internal gates in integrated circuits. This paper outlines basic methods and mathemat…
A Reconfigurable Programmable Logic Block for a Multi-Style Asynchronous FPGA resistant to Side-Channel Attacks
Philippe Hoogvorst, Sylvain Guilley, Sumanta Chaudhuri +3
Side-channel attacks are efficient attacks against cryptographic devices. They use only quantities observable from outside, such as the duration and the power consumption. Attacks…