Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Emmanuelle Encrenaz
Efficient Design and Evaluation of Countermeasures Against Fault Attacks Using Formal Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Process
Lecture Notes in Electrical Engineering
Industrial
Manufacturing Engineering
Related publications
SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Interaction Between Fault Attack Countermeasures and the Resistance Against Power Analysis Attacks
Fault Analysis in Cryptography
Java Card Operand Stack: Fault Attacks, Combined Attacks and Countermeasures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Quantitative Evaluation of Security on Cryptographic ICs Against Fault Injection Attacks
Fault Attacks on RSA With CRT: Concrete Results and Practical Countermeasures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient Countermeasures Against RPA, DPA, and SPA
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Combined Attacks and Countermeasures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms
IEEE Transactions on Software Engineering
Software
Evaluating Adversarial Attacks Against Multiple Fact Verification Systems
