ASPIER
From MaRDI portal
Cited in
(15)- Security protocol verification: symbolic and computational models
- Cryptographic Verification by Typing for a Sample Protocol Implementation
- Authenticated confidential channel establishment and the security of TLS-DHE
- On the security of TLS-DHE in the standard model
- TulaFale
- AGVI
- NAXOS
- EasyCrypt
- CryptoVerif
- Spi2Java
- JavaSPI
- MJ
- ZKPDL
- Gaining trust by tracing security protocols
- Proved generation of implementations from computationally secure protocol specifications
This page was built for software: ASPIER
