default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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 = {Sat, 09 Apr 2022 01:00:00 +0200},
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 = {Mon, 17 May 2021 01:00:00 +0200},
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}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2025-01-11 16:07 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
