Team for Research in
Ubiquitous Secure Technology

Citation
"Certified in-lined reference monitoring on .NET". Fred Schneider, Kevin Hamlen,& Greg Morrisett (eds.), Proceedings of the 2006 Programming Languages and Analysis for Security Workshop, June, 2006.

Abstract
(No abstract.)

Electronic downloads

• http://www.cs.cornell.edu/fbs/publications/CertIRMpldi.pdf

• HTML

   <a
  href="http://www.truststc.org/pubs/562.html"
  ><i>Certified in-lined reference monitoring on
  .NET</i></a>, Fred Schneider, Kevin Hamlen,&
  Greg Morrisett (eds.), Proceedings of the 2006 Programming
  Languages and Analysis for Security Workshop, June, 2006.

• Plain text

   "Certified in-lined reference monitoring on
  .NET". Fred Schneider, Kevin Hamlen,& Greg
  Morrisett (eds.), Proceedings of the 2006 Programming
  Languages and Analysis for Security Workshop, June, 2006.

• BibTeX

  @proceedings{SchneiderMorrisett06_CertifiedInlinedReferenceMonitoringOnNET,
      title = {Certified in-lined reference monitoring on .NET},
      editor = {Fred Schneider, Kevin Hamlen,\& Greg Morrisett},
      organization = {Proceedings of the 2006 Programming Languages and
                Analysis for Security Workshop},
      month = {June},
      year = {2006},
      abstract = {(No abstract.)},
      URL = {http://www.truststc.org/pubs/562.html}
  }
  

Posted by Jessica Gamble on 20 Feb 2009.
For additional information, see the Publications FAQ or contact webmaster at www truststc org.