Secure distributed programming with value-dependent types
From MaRDI portal
Recommendations
- Secure distributed programming with value-dependent types
- Dependent types and multi-monadic effects in \(\mathrm{F}^*\)
- Modular verification of security protocol code by typing
- Security-typed programming within dependently typed programming
- Cryptographic Verification by Typing for a Sample Protocol Implementation
Cited in
(16)- I got plenty o' nuttin'
- PML2: integrated program verification in ML
- Self-certification: bootstrapping certified typecheckers in F^ with Coq
- A general semantic construction of dependent refinement type systems, categorically
- Lightweight static capabilities
- More dependent types for distributed arrays
- CryptHOL: game-based proofs in higher-order logic
- F*
- A tutorial-style introduction to \(\mathsf{DY}^{\star}\)
- Combining behavioural types with security analysis
- Security-typed programming within dependently typed programming
- Secure distributed programming with value-dependent types
- Dependent types and multi-monadic effects in \(\mathrm{F}^*\)
- Probabilistic functions and cryptographic oracles in higher order logic
- Formal methods for web security
- A proof-producing compiler for blockchain applications
This page was built for publication: Secure distributed programming with value-dependent types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5398328)
