@article{SwamyCFSBY11,
  author    = {Nikhil Swamy and
               Juan Chen and
               C{\'e}dric Fournet and
               Pierre-Yves Strub and
               Karthikeyan Bhargavan and
               Jean Yang},
  title     = {Secure distributed programming with value-dependent types},
  booktitle = {ICFP},
  year      = {2011},
  pages     = {266-278},
}