Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
5 links
Pablo Rauzy
Researcher
PaperFormal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack: A Pledge for Formal Methods in the Field of Implementation SecurityAuthorship / preprint / 2014PaperA Formal Proof of Countermeasures against Fault Injection Attacks on CRT-RSAAuthorship / preprint / 2014PaperCountermeasures Against High-Order Fault-Injection Attacks on CRT-RSAAuthorship / preprint / 2014PaperFormally Proved Security of Assembly Code Against Power Analysis: A Case Study on Balanced LogicAuthorship / preprint / 2015PaperHigh Precision Fault Injections on the Instruction Cache of ARMv7-M ArchitecturesAuthorship / preprint / 2015