The following pages link to ASPIER (Q21831):
Displaying 6 items.
- Authenticated confidential channel establishment and the security of TLS-DHE (Q1698403) (← links)
- Gaining trust by tracing security protocols (Q2095430) (← links)
- Security Protocol Verification: Symbolic and Computational Models (Q2894308) (← links)
- On the Security of TLS-DHE in the Standard Model (Q2914265) (← links)
- Cryptographic Verification by Typing for a Sample Protocol Implementation (Q3092172) (← links)
- Proved Generation of Implementations from Computationally Secure Protocol Specifications (Q5326754) (← links)
