The following pages link to Computer Aided Verification (Q5900591):
Displaying 18 items.
- Evolutionary ciphers against differential power analysis and differential fault analysis (Q362183) (← links)
- Designing reliable algorithms in unreliable memories (Q458451) (← links)
- Resilient dynamic programming (Q513272) (← links)
- Differential fault analysis of AES: toward reducing number of faults (Q712675) (← links)
- Sorting and searching in faulty memories (Q1006385) (← links)
- Error detection and error correction procedures for the advanced encryption standard (Q1009086) (← links)
- The price of resiliency: a case study on sorting with memory faults (Q1016529) (← links)
- Optimal resilient sorting and searching in the presence of memory faults (Q1035681) (← links)
- Differential fault attack on Rocca (Q2104444) (← links)
- Fault Analysis of Grain-128 by Targeting NFSR (Q3011920) (← links)
- An Improved Differential Fault Analysis on AES-256 (Q3011924) (← links)
- Tamper-Proof Circuits: How to Trade Leakage for Tamper-Resilience (Q3012821) (← links)
- Атака по времени на CUDA-реализацию блочного шифра типа AES (Q3381834) (← links)
- Amplifying Side-Channel Attacks with Techniques from Block Cipher Cryptanalysis (Q3452233) (← links)
- Fault Attacks on Public Key Elements: Application to DLP-Based Schemes (Q3506358) (← links)
- An Improved Fault Based Attack of the Advanced Encryption Standard (Q3637153) (← links)
- Triggering parametric-down conversion-based quantum key distribution via radiation field (Q5149411) (← links)
- Fault Analysis Study of IDEA (Q5458945) (← links)
