Pages that link to "Item:Q2914729"
From MaRDI portal
The following pages link to Computer-Aided Cryptographic Proofs (Q2914729):
Displaying 7 items.
- Automating regression verification of pointer programs by predicate abstraction (Q1650864) (← links)
- Formalization of Shannon's theorems (Q2352494) (← links)
- Proof producing synthesis of arithmetic and cryptographic hardware (Q2642982) (← links)
- Proof techniques for cryptographic processes (Q2784489) (← links)
- Automating Computational Proofs for Public-Key-Based Key Exchange (Q4933211) (← links)
- Computer-Aided Security Proofs for the Working Cryptographer (Q5199185) (← links)
- Formal verification of Saber's public-key encryption scheme in easycrypt (Q6155272) (← links)