Search dblp for Publications

export results for "toc:db/conf/ecoop/plas2014.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ecoop/BichhawatRGH14,
  author    = {Abhishek Bichhawat and
               Vineet Rajani and
               Deepak Garg and
               Christian Hammer},
  editor    = {Alejandro Russo and
               Omer Tripp},
  title     = {Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis},
  booktitle = {Proceedings of the Ninth Workshop on Programming Languages and Analysis
               for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014},
  pages     = {15},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2637113.2637116},
  doi       = {10.1145/2637113.2637116},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ecoop/BichhawatRGH14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BogdanovLR14,
  author    = {Dan Bogdanov and
               Peeter Laud and
               Jaak Randmets},
  editor    = {Alejandro Russo and
               Omer Tripp},
  title     = {Domain-Polymorphic Programming of Privacy-Preserving Applications},
  booktitle = {Proceedings of the Ninth Workshop on Programming Languages and Analysis
               for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014},
  pages     = {53},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2637113.2637119},
  doi       = {10.1145/2637113.2637119},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ecoop/BogdanovLR14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BrobergDS14,
  author    = {Niklas Broberg and
               Bart van Delft and
               David Sands},
  editor    = {Alejandro Russo and
               Omer Tripp},
  title     = {Paragon: Programming with Information Flow Control (Demo)},
  booktitle = {Proceedings of the Ninth Workshop on Programming Languages and Analysis
               for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014},
  pages     = {79},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2637113.2637122},
  doi       = {10.1145/2637113.2637122},
  timestamp = {Tue, 09 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ecoop/BrobergDS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Dolby14,
  author    = {Julian Dolby},
  editor    = {Alejandro Russo and
               Omer Tripp},
  title     = {To Dream the Impossible Dream: Toward Security Analysis for JavaScript},
  booktitle = {Proceedings of the Ninth Workshop on Programming Languages and Analysis
               for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014},
  pages     = {1},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2637113.2639514},
  doi       = {10.1145/2637113.2639514},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ecoop/Dolby14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LarmuseauPC14,
  author    = {Adriaan Larmuseau and
               Marco Patrignani and
               Dave Clarke},
  editor    = {Alejandro Russo and
               Omer Tripp},
  title     = {Operational Semantics for Secure Interoperation},
  booktitle = {Proceedings of the Ninth Workshop on Programming Languages and Analysis
               for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014},
  pages     = {40},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2637113.2637118},
  doi       = {10.1145/2637113.2637118},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ecoop/LarmuseauPC14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/StefanM14,
  author    = {Deian Stefan and
               David Mazi{\`{e}}res},
  editor    = {Alejandro Russo and
               Omer Tripp},
  title     = {Building Secure Systems with {LIO} (Demo)},
  booktitle = {Proceedings of the Ninth Workshop on Programming Languages and Analysis
               for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014},
  pages     = {25},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2637113.2637121},
  doi       = {10.1145/2637113.2637121},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ecoop/StefanM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/StoughtonJBCCFZ14,
  author    = {Alley Stoughton and
               Andrew Johnson and
               Samuel Beller and
               Karishma Chadha and
               Dennis Chen and
               Kenneth Foner and
               Michael Zhivich},
  editor    = {Alejandro Russo and
               Omer Tripp},
  title     = {You Sank My Battleship!: {A} Case Study in Secure Programming},
  booktitle = {Proceedings of the Ninth Workshop on Programming Languages and Analysis
               for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014},
  pages     = {2},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2637113.2637115},
  doi       = {10.1145/2637113.2637115},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ecoop/StoughtonJBCCFZ14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ZanariniJ14,
  author    = {Dante Zanarini and
               Mauro Jaskelioff},
  editor    = {Alejandro Russo and
               Omer Tripp},
  title     = {Monitoring Reactive Systems with Dynamic Channels},
  booktitle = {Proceedings of the Ninth Workshop on Programming Languages and Analysis
               for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014},
  pages     = {66},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2637113.2637120},
  doi       = {10.1145/2637113.2637120},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ecoop/ZanariniJ14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ZhengM14,
  author    = {Lantian Zheng and
               Andrew C. Myers},
  editor    = {Alejandro Russo and
               Omer Tripp},
  title     = {A Language-Based Approach to Secure Quorum Replication},
  booktitle = {Proceedings of the Ninth Workshop on Programming Languages and Analysis
               for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014},
  pages     = {27},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2637113.2637117},
  doi       = {10.1145/2637113.2637117},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ecoop/ZhengM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2014plas,
  editor    = {Alejandro Russo and
               Omer Tripp},
  title     = {Proceedings of the Ninth Workshop on Programming Languages and Analysis
               for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2637113},
  isbn      = {978-1-4503-2862-3},
  timestamp = {Thu, 20 Nov 2014 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ecoop/2014plas.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics