Secure distributed programming with value-dependent types
From MaRDI portal
Publication:5398328
DOI10.1017/S0956796813000142zbMath1290.68033MaRDI QIDQ5398328
Juan Chen, Karthikeyan Bhargavan, Nikhil Swamy, Jean Yang, Pierre-Yves Strub, Cédric Fournet
Publication date: 27 February 2014
Published in: Journal of Functional Programming (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (9)
A tutorial-style introduction to \(\mathsf{DY}^{\star}\) ⋮ I Got Plenty o’ Nuttin’ ⋮ CryptHOL: game-based proofs in higher-order logic ⋮ Combining behavioural types with security analysis ⋮ Unnamed Item ⋮ A general semantic construction of dependent refinement type systems, categorically ⋮ Formal methods for web security ⋮ Probabilistic Functions and Cryptographic Oracles in Higher Order Logic ⋮ F*
Uses Software
This page was built for publication: Secure distributed programming with value-dependent types
