@inproceedings{ml10sectyp,
  author        = "Jamie Morgenstern and Daniel R. Licata",
  title         = "Security-Typed Programming within Dependently-Typed
                  Programming",
  booktitle     = {International Conference on Functional Programming},
  year          = "2010"  }