Pablo Rauzy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2011–2021
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CANS | THC: Practical and Cost-Effective Verification of Delegated Computation. | Pablo Rauzy, Ali Nehme |
| 2014 | FDTC | Countermeasures against High-Order Fault-Injection Attacks on CRT-RSA. | Pablo Rauzy, Sylvain Guilley |
| 2014 | POPL | 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 |
| 2011 | WISTP | Can Code Polymorphism Limit Information Leakage? | Antoine Amarilli, Sascha Mller, David Naccache, Dan Page, Pablo Rauzy, Michael Tunstall |