Pablo Rauzy

28 papers B 1C 3Journal 18Unranked 5
YearRankTypeTitle / Venue / Authors
2021 B conf
THC: Practical and Cost-Effective Verification of Delegated Computation.
CANS
Pablo Rauzy, Ali Nehme
2021 J jnl
THC: Practical and Cost-Effective Verification of Delegated Computation.
IACR Cryptol. ePrint Arch.
Pablo Rauzy, Ali Nehme
2018 — conf
Capacity: an Abstract Model of Control over Personal Data.
CODASPY
Daniel Le Métayer, Pablo Rauzy
2017 J jnl
Using modular extension to provably protect Edwards curves against fault attacks.
J. Cryptogr. Eng.
Margaux Dugardin, Sylvain Guilley, Martin Moreau, Zakaria Najm, Pablo Rauzy
2016 — conf
Algorithmic Countermeasures Against Fault Attacks and Power Analysis for RSA-CRT.
COSADE
Ágnes Kiss, Juliane Krämer, Pablo Rauzy, Jean-Pierre Seifert
2016 J jnl
Algorithmic Countermeasures Against Fault Attacks and Power Analysis for RSA-CRT.
IACR Cryptol. ePrint Arch.
Ágnes Kiss, Juliane Krämer, Pablo Rauzy, Jean-Pierre Seifert
2016 J jnl
Formally proved security of assembly code against power analysis - A case study on balanced logic.
J. Cryptogr. Eng.
Pablo Rauzy, Sylvain Guilley, Zakaria Najm
2015 J jnl
A Generic Countermeasure Against Fault Injection Attacks on Asymmetric Cryptography.
IACR Cryptol. ePrint Arch.
Pablo Rauzy, Martin Moreau, Sylvain Guilley, Zakaria Najm
2015 — —
Formal Software Methods for Cryptosystems Implementation Security. (Méthodes logicielles formelles pour la sécurité des implémentations cryptographiques).
Pablo Rauzy
2015 J jnl
Formally Proved Security of Assembly Code Against Power Analysis: A Case Study on Balanced Logic.
CoRR
Pablo Rauzy, Sylvain Guilley, Zakaria Najm
2015 J jnl
High Precision Fault Injections on the Instruction Cache of ARMv7-M Architectures.
CoRR
Lionel Rivière, Zakaria Najm, Pablo Rauzy, Jean-Luc Danger, Julien Bringer, Laurent Sauvage
2015 J jnl
High Precision Fault Injections on the Instruction Cache of ARMv7-M Architectures.
IACR Cryptol. ePrint Arch.
Lionel Rivière, Zakaria Najm, Pablo Rauzy, Jean-Luc Danger, Julien Bringer, Laurent Sauvage
2015 — conf
High precision fault injections on the instruction cache of ARMv7-M architectures.
HOST
Lionel Rivière, Zakaria Najm, Pablo Rauzy, Jean-Luc Danger, Julien Bringer, Laurent Sauvage
2014 J jnl
A Formal Proof of Countermeasures against Fault Injection Attacks on CRT-RSA.
CoRR
Pablo Rauzy, Sylvain Guilley
2014 J jnl
A formal proof of countermeasures against fault injection attacks on CRT-RSA.
J. Cryptogr. Eng.
Pablo Rauzy, Sylvain Guilley
2014 J jnl
Countermeasures Against High-Order Fault-Injection Attacks on CRT-RSA.
CoRR
Pablo Rauzy, Sylvain Guilley
2014 J jnl
Countermeasures Against High-Order Fault-Injection Attacks on CRT-RSA.
IACR Cryptol. ePrint Arch.
Pablo Rauzy, Sylvain Guilley
2014 C conf
Countermeasures against High-Order Fault-Injection Attacks on CRT-RSA.
FDTC
Pablo Rauzy, Sylvain Guilley
2014 — conf
Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack: A Pledge for Formal Methods in the Field of Implementation Security.
PPREW@POPL
Pablo Rauzy, Sylvain Guilley
2014 J jnl
Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack: A Pledge for Formal Methods in the Field of Implementation Security.
CoRR
Pablo Rauzy, Sylvain Guilley
2013 J jnl
A Formal Proof of Countermeasures against Fault Injection Attacks on CRT-RSA.
IACR Cryptol. ePrint Arch.
Pablo Rauzy, Sylvain Guilley
2013 J jnl
Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack.
IACR Cryptol. ePrint Arch.
Pablo Rauzy, Sylvain Guilley
2013 J jnl
Formally Proved Security of Assembly Code Against Leakage.
IACR Cryptol. ePrint Arch.
Pablo Rauzy, Sylvain Guilley, Zakaria Najm
2012 — conf
From Rational Number Reconstruction to Set Reconciliation and File Synchronization.
TGC
Antoine Amarilli, Fabrice Ben Hamouda, Florian Bourse, Robin Morisset, David Naccache, Pablo Rauzy
2011 C conf
Can Code Polymorphism Limit Information Leakage?
WISTP
Antoine Amarilli, Sascha Müller, David Naccache, Dan Page, Pablo Rauzy, Michael Tunstall
2011 J jnl
Can Code Polymorphism Limit Information Leakage?
IACR Cryptol. ePrint Arch.
Antoine Amarilli, Sascha Müller, David Naccache, Daniel Page, Pablo Rauzy, Michael Tunstall
2011 C conf
Can a Program Reverse-Engineer Itself?
IMACC
Antoine Amarilli, David Naccache, Pablo Rauzy, Emil Simion
2011 J jnl
Can a Program Reverse-Engineer Itself?
IACR Cryptol. ePrint Arch.
Antoine Amarilli, David Naccache, Pablo Rauzy, Emil Simion