Secure distributed programming with value-dependent types. (2011)

by N Swamy, J Chen, C Fournet, P-Y Strub, K Bhargavan, J Yang
Venue:In ICFP 2011,