swMATH27563MaRDI QIDQ39279FDOQ39279
Author name not available (Why is that?)
Official website: https://www.fstar-lang.org/
Source code repository: https://github.com/FStarLang/FStar
Cited In (61)
- 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
- COSTA
- CASPA_
- AURA
- Flow Caml
- OFMC
- Cayenne
- EasyCrypt
- Irdis
- ASPIER
- Cryptyc
- Aglet
- pGCL
- TS#
- AIOCJ
- Ur/Web
- Combining behavioural types with security analysis
- Idris
- JFlow
- Scribble
- SAVARA
- Lolliproc
- SPY
- EROS
- Fable
- Laminar
- Merlin
- Moat
- Privtrans
- VC3
- CoSP
- apims
- JSLINQ
- TaintDroid
- Bedrock
- SeLINQ
- Links
- Zoo Probabilistic Systems
- GREEND
- CacheAudit
- JSFlow
- HACL*
- Game_Based_Crypto
- MFMC_Countable
- Probabilistic_While
- 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*
