Pablo Rauzy

ORCID

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 7

Top Venues

IACR Cryptol. ePrint Arch.

CoRR

J. Cryptogr. Eng.

HOST

Télécom ParisTech, France (PHD)

Education History

Télécom ParisTech, France

PHD

Publications

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

Pablo Rauzy.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pablo Rauzy