The following pages link to Automated Reasoning (Q5307075):
Displaying 8 items.
- Automated proofs for asymmetric encryption (Q540682) (← links)
- A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
- Generalization in the presence of free variables: A mechanically-checked correctness proof for one algorithm (Q757074) (← links)
- Analyzing security protocols using time-bounded task-PIOAs (Q1020557) (← links)
- Automated analysis of cryptographic assumptions in generic group models (Q2423840) (← links)
- Automated Proofs for Asymmetric Encryption (Q5187835) (← links)
- Machine-Checked Security Proofs of Cryptographic Signature Schemes (Q5862663) (← links)
- Abstract State Machines 2004. Advances in Theory and Practice (Q5901603) (← links)