Pablo Rauzy

According to our database, Pablo Rauzy authored at least 16 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

THC: Practical and Cost-Effective Verification of Delegated Computation.

Pablo Rauzy, Ali Nehme

IACR Cryptol. ePrint Arch., 2021

2018

Capacity: an Abstract Model of Control over Personal Data.

Daniel Le Métayer, Pablo Rauzy

Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy, 2018

2017

Using modular extension to provably protect Edwards curves against fault attacks.

Margaux Dugardin, Sylvain Guilley, Martin Moreau, Zakaria Najm, Pablo Rauzy

J. Cryptogr. Eng., 2017

2016

Formally proved security of assembly code against power analysis - A case study on balanced logic.

Pablo Rauzy, Sylvain Guilley, Zakaria Najm

J. Cryptogr. Eng., 2016

Algorithmic Countermeasures Against Fault Attacks and Power Analysis for RSA-CRT.

Ágnes Kiss, Juliane Krämer, Pablo Rauzy, Jean-Pierre Seifert

IACR Cryptol. ePrint Arch., 2016

2015

Formal Software Methods for Cryptosystems Implementation Security. (Méthodes logicielles formelles pour la sécurité des implémentations cryptographiques).

Pablo Rauzy

PhD thesis, 2015

High Precision Fault Injections on the Instruction Cache of ARMv7-M Architectures.

Lionel Rivière, Zakaria Najm, Pablo Rauzy, Jean-Luc Danger, Julien Bringer, Laurent Sauvage

IACR Cryptol. ePrint Arch., 2015

A Generic Countermeasure Against Fault Injection Attacks on Asymmetric Cryptography.

Pablo Rauzy, Martin Moreau, Sylvain Guilley, Zakaria Najm

IACR Cryptol. ePrint Arch., 2015

2014

A formal proof of countermeasures against fault injection attacks on CRT-RSA.

Pablo Rauzy, Sylvain Guilley

J. Cryptogr. Eng., 2014

Countermeasures Against High-Order Fault-Injection Attacks on CRT-RSA.

Pablo Rauzy, Sylvain Guilley

IACR Cryptol. ePrint Arch., 2014

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

Proceedings of the 3rd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2014, 2014

2013

Formally Proved Security of Assembly Code Against Leakage.

Pablo Rauzy, Sylvain Guilley, Zakaria Najm

IACR Cryptol. ePrint Arch., 2013

Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack.

Pablo Rauzy, Sylvain Guilley

IACR Cryptol. ePrint Arch., 2013

2012

From Rational Number Reconstruction to Set Reconciliation and File Synchronization.

Antoine Amarilli, Fabrice Ben Hamouda, Florian Bourse, Robin Morisset, David Naccache, Pablo Rauzy

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

2011

Can a Program Reverse-Engineer Itself?

Antoine Amarilli, David Naccache, Pablo Rauzy, Emil Simion

IACR Cryptol. ePrint Arch., 2011

Can Code Polymorphism Limit Information Leakage?

Antoine Amarilli, Sascha Müller, David Naccache, Daniel Page, Pablo Rauzy, Michael Tunstall

IACR Cryptol. ePrint Arch., 2011