Secure distributed programming with value-dependent types.

Nikhil Swamy, Juan Chen, Cdric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang

Browse the full ICFP paper archive.