Refinement Types for Secure Implementations (bibtex)
by Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
Reference:
Refinement Types for Secure Implementations (Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis), In 21st IEEE Computer Security Foundations Symposium (CSF-21), 2008.
Bibtex Entry:
@inproceedings{BengtsonBFGM08,
  author    = {Jesper Bengtson and
               Karthikeyan Bhargavan and
               C{\'e}dric Fournet and
               Andrew D. Gordon and
               Sergio Maffeis},
  title     = {Refinement Types for Secure Implementations},
  booktitle = {21st IEEE Computer Security Foundations
               Symposium (CSF-21)},
  year      = {2008},
  pages     = {17-32},
pdf="pubs/refinement-types-for-secure-implementations-proceedings-csf08.pdf",
url="pubs/refinement-types-for-secure-implementations-proceedings-csf08.pdf",

}