|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Pablo Buiras, Bart van Delft |
Dynamic Enforcement of Dynamic Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015, pp. 28-41, 2015, ACM, 978-1-4503-3661-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Clarkson, Limin Jia 0001 (eds.) |
Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![ACM, 978-1-4503-3661-1 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shriram Krishnamurthi |
Tierless Programming and Reasoning for Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015, pp. 42, 2015, ACM, 978-1-4503-3661-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Toby C. Murray |
Short Paper: On High-Assurance Information-Flow-Secure Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015, pp. 43-48, 2015, ACM, 978-1-4503-3661-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vijay Ganesh, Sebastian Banescu, Martín Ochoa |
Short Paper: The Meaning of Attack-Resistant Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015, pp. 49-55, 2015, ACM, 978-1-4503-3661-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Grimmer, Roland Schatz, Chris Seaton, Thomas Würthinger, Hanspeter Mössenböck |
Memory-safe Execution of C on a Java VM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015, pp. 16-27, 2015, ACM, 978-1-4503-3661-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sophia Drossopoulou, James Noble 0001, Mark S. Miller |
Swapsies on the Internet: First Steps towards Reasoning about Risk and Trust in an Open World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015, pp. 2-15, 2015, ACM, 978-1-4503-3661-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Catalin Hritcu |
Micro-Policies: Formally Verified, Tag-Based Security Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015, pp. 1, 2015, ACM, 978-1-4503-3661-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Deian Stefan, David Mazières |
Building Secure Systems with LIO (Demo). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014, pp. 25, 2014, ACM, 978-1-4503-2862-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alley Stoughton, Andrew Johnson 0005, Samuel Beller, Karishma Chadha, Dennis Chen, Kenneth Foner, Michael Zhivich |
You Sank My Battleship!: A Case Study in Secure Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014, pp. 2, 2014, ACM, 978-1-4503-2862-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Julian Dolby |
To Dream the Impossible Dream: Toward Security Analysis for JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014, pp. 1, 2014, ACM, 978-1-4503-2862-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dante Zanarini, Mauro Jaskelioff |
Monitoring Reactive Systems with Dynamic Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014, pp. 66, 2014, ACM, 978-1-4503-2862-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Russo, Omer Tripp (eds.) |
Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![ACM, 978-1-4503-2862-3 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Lantian Zheng, Andrew C. Myers |
A Language-Based Approach to Secure Quorum Replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014, pp. 27, 2014, ACM, 978-1-4503-2862-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Abhishek Bichhawat, Vineet Rajani, Deepak Garg 0001, Christian Hammer 0001 |
Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014, pp. 15, 2014, ACM, 978-1-4503-2862-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dan Bogdanov, Peeter Laud, Jaak Randmets |
Domain-Polymorphic Programming of Privacy-Preserving Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014, pp. 53, 2014, ACM, 978-1-4503-2862-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Niklas Broberg, Bart van Delft, David Sands 0001 |
Paragon: Programming with Information Flow Control (Demo). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014, pp. 79, 2014, ACM, 978-1-4503-2862-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adriaan Larmuseau, Marco Patrignani, Dave Clarke 0001 |
Operational Semantics for Secure Interoperation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@ECOOP ![In: Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014, pp. 40, 2014, ACM, 978-1-4503-2862-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|