Typechecking Higher-Order Security Libraries (bibtex)
by Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts
Reference:
Typechecking Higher-Order Security Libraries (Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts), In 8th Asian Symposium on Programming Languages and Systems, 2010.
Bibtex Entry:
@inproceedings{BhargavanFG10aplas,
  author    = {Karthikeyan Bhargavan and
               C{\'e}dric Fournet and
               Nataliya Guts},
  title     = {Typechecking Higher-Order Security Libraries},
  booktitle = {8th Asian Symposium on Programming Languages and Systems},
  year      = {2010},
  pages     = {47-62},
  ee        = {http://dx.doi.org/10.1007/978-3-642-17164-2_5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Powered by bibtexbrowser