F*
From MaRDI portal
Software:39279
No author found.
Source code repository: https://github.com/FStarLang/FStar
Related Items (18)
Unified Syntax with Iso-types ⋮ I Got Plenty o’ Nuttin’ ⋮ A Delta for Hybrid Type Checking ⋮ CryptHOL: game-based proofs in higher-order logic ⋮ Combining behavioural types with security analysis ⋮ Program synthesis for interactive-security systems ⋮ Dijkstra monads for free ⋮ The essence of ornaments ⋮ System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory ⋮ Automated type-based analysis of injective agreement in the presence of compromised principals ⋮ Formal methods for web security ⋮ A Classical Realizability Model for a Semantical Value Restriction ⋮ Probabilistic Functions and Cryptographic Oracles in Higher Order Logic ⋮ Cryptographic Verification by Typing for a Sample Protocol Implementation ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types ⋮ Information Flow Analysis for Valued-Indexed Data Security Compartments ⋮ Proof-Carrying Code in a Session-Typed Process Calculus ⋮ Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs
This page was built for software: F*
