F*
From MaRDI portal
Cited in
(61)- COSTA
- CASPA_
- Program synthesis for interactive-security systems
- Flow Caml
- OFMC
- Cayenne
- Irdis
- EasyCrypt
- CryptHOL: game-based proofs in higher-order logic
- ASPIER
- System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory
- Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs
- AURA
- Cryptyc
- pGCL
- Aglet
- TS#
- A Classical Realizability Model for a Semantical Value Restriction
- Probabilistic functions and cryptographic oracles in higher order logic
- A gentle introduction to multiparty asynchronous session types
- Information flow analysis for valued-indexed data security compartments
- AIOCJ
- Ur/Web
- Cryptographic Verification by Typing for a Sample Protocol Implementation
- Proof-carrying code in a session-typed process calculus
- Unified syntax with iso-types
- Idris
- I got plenty o' nuttin'
- A delta for hybrid type checking
- JFlow
- Scribble
- SAVARA
- SPY
- Lolliproc
- Privtrans
- Merlin
- Laminar
- VC3
- EROS
- Moat
- Fable
- CoSP
- TaintDroid
- apims
- JSLINQ
- SeLINQ
- Bedrock
- Zoo Probabilistic Systems
- Links
- GREEND
- CacheAudit
- JSFlow
- Automated type-based analysis of injective agreement in the presence of compromised principals
- Formal methods for web security
- HACL*
- Dijkstra monads for free
- Probabilistic_While
- MFMC_Countable
- Game_Based_Crypto
- The essence of ornaments
- Combining behavioural types with security analysis
This page was built for software: F*
