F*
From MaRDI portal
Software:39279
swMATH27563MaRDI QIDQ39279FDOQ39279
Author name not available (Why is that?)
Source code repository: https://github.com/FStarLang/FStar
Cited In (18)
- I got plenty o' nuttin'
- Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs
- Cryptographic Verification by Typing for a Sample Protocol Implementation
- Unified syntax with iso-types
- Information flow analysis for valued-indexed data security compartments
- CryptHOL: game-based proofs in higher-order logic
- A Classical Realizability Model for a Semantical Value Restriction
- A delta for hybrid type checking
- The essence of ornaments
- System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory
- Combining behavioural types with security analysis
- A gentle introduction to multiparty asynchronous session types
- Automated type-based analysis of injective agreement in the presence of compromised principals
- Probabilistic functions and cryptographic oracles in higher order logic
- Program synthesis for interactive-security systems
- Formal methods for web security
- Proof-carrying code in a session-typed process calculus
- Dijkstra monads for free
This page was built for software: F*
