Efficient Design and Evaluation of Countermeasures Against Fault Attacks Using Formal Verification

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-31271-2_11
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Interaction Between Fault Attack Countermeasures and the Resistance Against Power Analysis Attacks

Fault Analysis in Cryptography
2012English

Java Card Operand Stack: Fault Attacks, Combined Attacks and Countermeasures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Quantitative Evaluation of Security on Cryptographic ICs Against Fault Injection Attacks

2016English

Fault Attacks on RSA With CRT: Concrete Results and Practical Countermeasures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Efficient Countermeasures Against RPA, DPA, and SPA

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Combined Attacks and Countermeasures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms

IEEE Transactions on Software Engineering
Software
1999English

Evaluating Adversarial Attacks Against Multiple Fact Verification Systems

2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy