Secure distributed programming with value-dependent types

Nikhil Swamy, Juan Chen, C├ędric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang. Secure distributed programming with value-dependent types. Journal of Functional Programming, 23(4):402-451, 2013. [doi]

Abstract

Abstract is missing.