bcp.bib

@preamble{{\newcommand{\SortNoop}[1]{}}}

@misc{PierceSumii00,
  author = {Benjamin Pierce and Eijiro Sumii},
  title = {Relating Cryptography and Polymorphism},
  month = jul,
  year = {2000},
  plclub = {Yes},
  bcp = {Yes},
  note = {Some parts superseded by \cite{SumiiPierce01} (Sumii and Pierce, 2001)},
  keys = {security},
  manuscript = {http://www.cis.upenn.edu/~bcpierce/papers/infohide.ps}
}

@article{SumiiPierce01,
  author = {Eijiro Sumii and Benjamin C. Pierce},
  title = {Logical Relations for Encryption},
  journal = {Journal of Computer Security},
  year = {2003},
  volume = {11},
  number = {4},
  pages = {521--554},
  plclub = {Yes},
  bcp = {Yes},
  conf = {http://www.cis.upenn.edu/~bcpierce/papers/infohide2.ps},
  keys = {security},
  note = {Extended abstract appeared in {\emph{14th IEEE Computer Security Foundations Workshop}}, pp.~256--269, 2001.}
}

@inproceedings{SumiiPierce2004,
  author = {Eijiro Sumii and Benjamin C. Pierce},
  title = {A Bisimulation for Dynamic Sealing},
  booktitle = {{ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming
                     {L}anguages ({POPL}), Venice, Italy},
  year = {2004},
  plclub = {Yes},
  bcp = {Yes},
  keys = {security},
  conf = {http://www.cis.upenn.edu/~bcpierce/papers/infohide3.pdf},
  note = {Full version in {\em Theoretical Computer Science} 375 (2007), 169--192}
}

@inproceedings{SumiiPierce2005,
  author = {Eijiro Sumii and Benjamin C. Pierce},
  title = {A Bisimulation for Type Abstraction and Recursion},
  booktitle = {{ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming
                     {L}anguages ({POPL}), Long Beach, California},
  year = {2005},
  keys = {security},
  short = {http://www.cis.upenn.edu/~bcpierce/papers/infohide5-popl.pdf},
  full = {http://www.cis.upenn.edu/~bcpierce/papers/infohide5-jacm.pdf},
  plclub = {Yes},
  bcp = {Yes},
  note = {Full version in {\em J. ACM}, 54 (5), 2007}
}

@unpublished{InCertProposal06,
  title = {Manifest Security for Distributed Information},
  author = {Karl Crary and  Robert Harper and Frank Pfenning and
                  Benjamin C. Pierce and Stephanie Weirich and 
                  Stephan Zdancewic},
  year = 2006,
  month = mar,
  keys = {security},
  note = {White paper},
  pdf = {http://www.cis.upenn.edu/~bcpierce/papers/incertproposal06.pdf}
}

@unpublished{InCertProposal07,
  title = {Manifest Security},
  author = {Karl Crary and  Robert Harper and Frank Pfenning and
                  Benjamin C. Pierce and Stephanie Weirich and 
                  Stephan Zdancewic},
  year = 2007,
  month = jan,
  bcp = {Yes},
  keys = {security},
  plclub = {Yes},
  note = {White paper},
  pdf = {http://www.cis.upenn.edu/~bcpierce/papers/manifestsecurity-whitepaper.pdf}
}

@inproceedings{DPCS2010,
  author = {Jason Reed and Adam J. Aviv and Daniel
                  Wagner and Andreas Haeberlen and Benjamin C. Pierce and 
                  Jonathan M. Smith},
  title = {Differential Privacy for Collaborative Security},
  booktitle = {European Workshop on System Security (EUROSEC)},
  year = {2010},
  month = apr,
  plclub = {Yes},
  bcp = {Yes},
  keys = {security},
  manuscript = {http://www.cis.upenn.edu/~bcpierce/papers/eurosec2010.pdf}
}

@inproceedings{ReedPierce10,
  author = {Jason Reed and Benjamin C. Pierce},
  title = {Distance Makes the Types Grow Stronger: 
                  {A} Calculus for Differential Privacy},
  booktitle = {{ACM} {SIGPLAN} {I}nternational {C}onference on {F}unctional {P}rogramming
                    ({ICFP}), Baltimore, Maryland},
  year = {2010},
  month = sep,
  bcp = {yes},
  plclub = {yes},
  keys = {security},
  short = {http://www.cis.upenn.edu/~bcpierce/papers/dp.pdf},
  long = {http://privacy.cis.upenn.edu/papers/metric-pres-tr.pdf}
}

@inproceedings{BohannonPierce10,
  author = {Aaron Bohannon and Benjamin C. Pierce},
  title = {Featherweight {F}irefox:
                  {F}ormalizing the Core of a Web Browser},
  booktitle = {Usenix Conference on Web Application Development (WebApps)},
  year = {2010},
  month = jun,
  bcp = {yes},
  plclub = {yes},
  keys = {security},
  short = {http://www.cis.upenn.edu/~bcpierce/papers/webapps_2010_bohannon_final.pdf}
}

@inproceedings{Bohannon&09,
  author = {Bohannon, Aaron and Pierce, Benjamin C. and Sj\"{o}berg, Vilhelm and Weirich, Stephanie and Zdancewic, Steve},
  title = {Reactive Noninterference},
  booktitle = {CCS '09: Proceedings of the 16th ACM conference on Computer and communications security},
  year = {2009},
  isbn = {978-1-60558-894-0},
  pages = {79--90},
  location = {Chicago, Illinois, USA},
  doi = {http://doi.acm.org/10.1145/1653662.1653673},
  publisher = {ACM},
  address = {New York, NY, USA},
  bcp = {yes},
  plclub = {yes},
  keys = {security}
}

@inproceedings{Haeberlen&11,
  author = {Andreas Haeberlen and Benjamin C. Pierce and 
                  Arjun Narayan},
  title = {Differential Privacy Under Fire},
  booktitle = {Proceedings of the 20th USENIX Security Symposium},
  location = {San Francisco, CA},
  month = aug,
  year = {2011},
  bcp = {yes},
  plclub = {yes},
  keys = {security},
  pdf = {http://www.cis.upenn.edu/~ahae/papers/fuzz-sec2011.pdf}
}

@inproceedings{SAFEPLOS11,
  author = {
                  Andr\'{e} DeHon and
                  Ben Karel and
                  Thomas F. Knight Jr. and
                  Gregory Malecha and
                  Beno\^{i}t Montagu and
                  Robin Morisset and
                  Greg Morrisett and
                  Benjamin C. Pierce and
                  Randy Pollack and
                  Sumit Ray and
                  Olin Shivers and
                  Jonathan M. Smith and
                  Gregory Sullivan
                  },
  title = {Preliminary Design of the SAFE Platform},
  month = oct,
  year = 2011,
  bcp = {Yes},
  plclub = {Yes},
  keys = {security},
  pdf = {http://www.crash-safe.org/sites/default/files/plos11-submission.pdf},
  booktitle = {Proceedings of the 6th Workshop on Programming
                  Languages and Operating Systems (PLOS 2011)},
  location = {Cascais, Portugal}
}

@misc{CRASH-PLPV-2012.pdf,
  author = {Benjamin C. Pierce},
  title = {Verification Challenges of Pervasive Information Flow},
  month = jan,
  year = 2012,
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/CRASH-PLPV-2012.pdf},
  note = {Invited talk at {\em Programming Languages
                  Meets Program Verification} workshop (PLPV)},
  plclub = {Yes},
  bcp = {Yes},
  keys = {security}
}