Pages that link to "Item:Q5398328"
From MaRDI portal
The following pages link to Secure distributed programming with value-dependent types (Q5398328):
Displaying 9 items.
- F* (Q39279) (← links)
- Formal methods for web security (Q511944) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- A tutorial-style introduction to \(\mathsf{DY}^{\star}\) (Q2154012) (← links)
- CryptHOL: game-based proofs in higher-order logic (Q2175214) (← links)
- A general semantic construction of dependent refinement type systems, categorically (Q2233424) (← links)
- Probabilistic Functions and Cryptographic Oracles in Higher Order Logic (Q2802495) (← links)
- I Got Plenty o’ Nuttin’ (Q3188289) (← links)
- (Q6060675) (← links)