local.bib

@string{POT = {Proc. of the }}

@inproceedings{safehaskell,
  title={Safe haskell},
  author={Terei, David and Marlow, Simon and Peyton Jones, Simon and Mazi{\`e}res, David},
  booktitle={ACM SIGPLAN Notices},
  volume={47},
  number={12},
  pages={137--148},
  year={2012},
  organization={ACM}
}
@inproceedings{myers:dlm,
 author = {Myers, Andrew C. and Liskov, Barbara},
 title = {A decentralized model for information flow control},
 booktitle = POT # {16th SOSP},
 year = {1997},
 pages = {129--142},
 location = {Saint Malo, France},
}

@Article{sabelfeld:language-based-iflow,
  author = 	 {Andrei Sabelfeld and Andrew C. Myers},
  title = 	 {Language-Based Information-Flow Security},
  journal = 	 {IEEE Journal on Selected Areas in Communications},
  year = 	 2003,
  volume = 	 21,
  number = 	 1,
}

@inproceedings{dclabels,
  title={Disjunction Category Labels},
  author={Deian Stefan and Alejandro Russo and David Mazi\`eres and John C. Mitchell},
  booktitle={NordSec 2011},
  series = {LNCS},
  publisher = {Springer},
  year={2011},
}

@inproceedings{lio,
  title={Flexible Dynamic Information Flow Control in {Haskell}},
  author={Deian Stefan and Alejandro Russo and John C. Mitchell and David Mazi\`eres},
  booktitle={Haskell Symposium},
  year={2011},
  pages= {95-106},
  organization={ACM SIGPLAN}
}

@InProceedings{concurrent-lio,
  author =       {Deian Stefan and Alejandro Russo and Pablo Buiras and
                  Amit Levy and John C. Mitchell and David {Mazi\`eres}},
  title =        {Addressing Covert Termination and Timing Channels in
                  Concurrent Information Flow Systems},
  booktitle = POT # {17th ICFP},
  year =         2012,
}

@inproceedings{hails,
  title        = {Hails: Protecting Data Privacy in Untrusted Web Applications},
  author       = {Daniel B. Giffin and
                  Amit Levy and
                  Deian Stefan and
                  David Terei and
                  David Mazi\`eres and
                  John Mitchell and
                  Alejandro Russo },
  booktitle    = POT # {10th OSDI},
  pages        = {47-60},
  year         = {2012},
  organization = {USENIX}
}

@article{stefan:2012:arxiv-flexible,
  title={Flexible Dynamic Information Flow Control in the Presence of Exceptions},
  author={Deian Stefan and Alejandro Russo and John C. Mitchell and David Mazi\`eres},
  journal={Arxiv preprint arXiv:1207.1457},
  year={2012}
}
@inproceedings{Breeze,
  author = {C\u{a}t\u{a}lin Hri\c{t}cu and Michael Greenberg and Ben
Karel and Benjamin C. Pierce and Greg Morrisett},
  title = {All Your IFCException Are Belong To Us},
  booktitle = 	 POT # {{IEEE} Symp. on Security and Privacy},
  year = {2013},
}
@misc{goto,
 title={Imprtial{V}iolet: {A}pple's {SSL/TLS} bug},
 author={Adam Langley},
 month={Feb},
 year={2014},
 howpublished={\url{https://www.imperialviolet.org/2014/02/22/applebug.html}}
}

@Misc{gitfail,
  author = 	 {Tom Preston-Werner},
  title = 	 {Public Key Security Vulnerability and Mitigation},
  month = 	 {March},
  year = 	 2012,
  note = 	 {\url{https://github.com/blog/1068-public-key-security-vulnerability-and-mitigation}}}