Computer Aided Verification

DOI10.1007/b11831zbMath1274.94043OpenAlexW1571340194MaRDI QIDQ5900591

Jean-Pierre Seifert, Johannes Blömer

Publication date: 31 March 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b11831

zbMATH Keywords

AESfault attackssmart cardsimplementation issuessecure banking

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (19)

Amplifying Side-Channel Attacks with Techniques from Block Cipher Cryptanalysis ⋮ Evolutionary ciphers against differential power analysis and differential fault analysis ⋮ Fault Attacks on Public Key Elements: Application to DLP-Based Schemes ⋮ Differential fault attack on Espresso ⋮ Designing reliable algorithms in unreliable memories ⋮ Triggering parametric-down conversion-based quantum key distribution via radiation field ⋮ Fault Analysis of Grain-128 by Targeting NFSR ⋮ An Improved Differential Fault Analysis on AES-256 ⋮ Tamper-Proof Circuits: How to Trade Leakage for Tamper-Resilience ⋮ Resilient dynamic programming ⋮ Differential fault analysis of AES: toward reducing number of faults ⋮ Fault Analysis Study of IDEA ⋮ Sorting and searching in faulty memories ⋮ Error detection and error correction procedures for the advanced encryption standard ⋮ Атака по времени на CUDA-реализацию блочного шифра типа AES ⋮ The price of resiliency: a case study on sorting with memory faults ⋮ An Improved Fault Based Attack of the Advanced Encryption Standard ⋮ Optimal resilient sorting and searching in the presence of memory faults ⋮ Differential fault attack on Rocca

This page was built for publication: Computer Aided Verification