Pages that link to "Item:Q5176981"
From MaRDI portal
The following pages link to Secure distributed programming with value-dependent types (Q5176981):
Displaying 18 items.
- F* (Q39279) (← links)
- Automated type-based analysis of injective agreement in the presence of compromised principals (Q492914) (← links)
- Program synthesis for interactive-security systems (Q1696589) (← links)
- More dependent types for distributed arrays (Q1929345) (← links)
- System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory (Q2228439) (← links)
- Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs (Q2331068) (← links)
- A Classical Realizability Model for a Semantical Value Restriction (Q2802494) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- Dependent types and multi-monadic effects in \(\mathrm{F}^*\) (Q2828265) (← links)
- Information Flow Analysis for Valued-Indexed Data Security Compartments (Q2830034) (← links)
- Lightweight static capabilities (Q2866337) (← links)
- The Essence of Functional Programming on Semantic Data (Q2988667) (← links)
- Cryptographic Verification by Typing for a Sample Protocol Implementation (Q3092172) (← links)
- Proof-Carrying Code in a Session-Typed Process Calculus (Q3100198) (← links)
- Unified Syntax with Iso-types (Q3179296) (← links)
- A Delta for Hybrid Type Checking (Q3188298) (← links)
- The essence of ornaments (Q5372005) (← links)
- Global progress for dynamically interleaved multiparty sessions (Q5741563) (← links)