|
|
|
|
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.  |
PLAS@ECOOP  |
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 |
PLAS@ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Shriram Krishnamurthi |
Tierless Programming and Reasoning for Networks. |
PLAS@ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Toby C. Murray |
Short Paper: On High-Assurance Information-Flow-Secure Programming Languages. |
PLAS@ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Ganesh, Sebastian Banescu, Martín Ochoa |
Short Paper: The Meaning of Attack-Resistant Systems. |
PLAS@ECOOP |
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. |
PLAS@ECOOP |
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. |
PLAS@ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Catalin Hritcu |
Micro-Policies: Formally Verified, Tag-Based Security Monitors. |
PLAS@ECOOP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Deian Stefan, David Mazières |
Building Secure Systems with LIO (Demo). |
PLAS@ECOOP |
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. |
PLAS@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Dolby |
To Dream the Impossible Dream: Toward Security Analysis for JavaScript. |
PLAS@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Dante Zanarini, Mauro Jaskelioff |
Monitoring Reactive Systems with Dynamic Channels. |
PLAS@ECOOP |
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 |
PLAS@ECOOP |
2014 |
DBLP BibTeX RDF |
|
| 1 | Lantian Zheng, Andrew C. Myers |
A Language-Based Approach to Secure Quorum Replication. |
PLAS@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhishek Bichhawat, Vineet Rajani, Deepak Garg 0001, Christian Hammer 0001 |
Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis. |
PLAS@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Bogdanov, Peeter Laud, Jaak Randmets |
Domain-Polymorphic Programming of Privacy-Preserving Applications. |
PLAS@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Niklas Broberg, Bart van Delft, David Sands 0001 |
Paragon: Programming with Information Flow Control (Demo). |
PLAS@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Adriaan Larmuseau, Marco Patrignani, Dave Clarke 0001 |
Operational Semantics for Secure Interoperation. |
PLAS@ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license