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},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/CSF.2008.27},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Powered by bibtexbrowser