The following pages link to Computer Aided Verification (Q5900591):
Displaying 29 items.
- Evolutionary ciphers against differential power analysis and differential fault analysis (Q362183) (← links)
- Designing reliable algorithms in unreliable memories (Q458451) (← links)
- Random Forest profiling attack on advanced encryption standard (Q486144) (← 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)
- Transient-steady effect attack on block ciphers (Q1695896) (← links)
- Fault template attacks on block ciphers exploiting fault propagation (Q2055630) (← links)
- Differential fault attack on Rocca (Q2104444) (← links)
- Persistent fault analysis with few encryptions (Q2106677) (← 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)
- (Q3421475) (← links)
- Amplifying Side-Channel Attacks with Techniques from Block Cipher Cryptanalysis (Q3452233) (← links)
- Rogue Decryption Failures: Reconciling AE Robustness Notions (Q3460100) (← links)
- Fault Attacks on Public Key Elements: Application to DLP-Based Schemes (Q3506358) (← links)
- A Probing Attack on AES (Q3605395) (← 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)
- Advanced Encryption Standard – AES (Q5316686) (← links)
- Fault Analysis Study of IDEA (Q5458945) (← links)
- Experimental and Efficient Algorithms (Q5710041) (← links)
- Differential fault attack on Espresso (Q6157590) (← links)
- Practical improvements to statistical ineffective fault attacks (Q6630409) (← links)
