Verified interoperable implementations of security protocols
From MaRDI portal
Recommendations
- Formally sound implementations of security protocols with JavaSPI
- Proved generation of implementations from computationally secure protocol specifications
- Cryptographic Verification by Typing for a Sample Protocol Implementation
- Modular verification of security protocol code by typing
- Automatic verification of security protocols in the symbolic model: the verifier ProVerif
Cited in
(13)- A domain-specific language for cryptographic protocols based on streams
- Formally sound implementations of security protocols with JavaSPI
- On the secure implementation of security protocols
- Safe abstractions of data encodings in formal security protocol models
- Gaining trust by tracing security protocols
- Rule-based static analysis of network protocol implementations
- A calculus of global interaction based on session types
- Alice and Bob: reconciling formal models and implementation
- Integrating Verification, Testing, and Learning for Cryptographic Protocols
- scientific article; zbMATH DE number 1796132 (Why is no real title available?)
- scientific article; zbMATH DE number 2100572 (Why is no real title available?)
- Automatic verification of security protocols in the symbolic model: the verifier ProVerif
- Proved generation of implementations from computationally secure protocol specifications
This page was built for publication: Verified interoperable implementations of security protocols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5447364)
