|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 52 publication records. Showing 52 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Sandrine Blazy |
From Verified Compilation to Secure Compilation: a Semantic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020, pp. 1, 2020, ACM, 978-1-4503-8092-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matthías Páll Gissurarson, Agustín Mista |
Short Paper: Weak Runtime-Irrelevant Typing for Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020, pp. 13-17, 2020, ACM, 978-1-4503-8092-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alley Stoughton, Marco Vassena (eds.) |
PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![ACM, 978-1-4503-8092-8 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alisa Pankova, Joosep Jääger |
Short Paper: Secure Multiparty Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020, pp. 3-7, 2020, ACM, 978-1-4503-8092-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Benitez, Jonathan Cogan, Alejandro Russo |
Short Paper: Blockcheck the Typechain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020, pp. 35-39, 2020, ACM, 978-1-4503-8092-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jean Yang 0001 |
How APIs Are Both the Illness and the Cure: The Software Heterogeneity Problem in Modern Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020, pp. 23, 2020, ACM, 978-1-4503-8092-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lauren Labell, Jared Chandler, Kathleen Fisher |
Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020, pp. 25-34, 2020, ACM, 978-1-4503-8092-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ian Sweet, David Darais, Michael Hicks 0001 |
Short Paper: Probabilistically Almost-Oblivious Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020, pp. 9-12, 2020, ACM, 978-1-4503-8092-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Morio, Dennis Jackson, Marco Vassena, Robert Künnemann |
Short Paper: Modular Black-box Runtime Verification of Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020, pp. 19-22, 2020, ACM, 978-1-4503-8092-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Cristian-Alexandru Staicu, Daniel Schoepe, Musard Balliu, Michael Pradel, Andrei Sabelfeld |
An Empirical Study of Information Flows in Real-World JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, CCS 2019, London, United Kingdom, November 11-15, 2019, pp. 45-59, 2019, ACM, 978-1-4503-6836-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Mardziel, Niki Vazou (eds.) |
Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, CCS 2019, London, United Kingdom, November 11-15, 2019 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![ACM, 978-1-4503-6836-0 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Kane, Bo Lin, Saksham Chand, Scott D. Stoller, Yanhong A. Liu |
High-Level Cryptographic Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, CCS 2019, London, United Kingdom, November 11-15, 2019, pp. 31-43, 2019, ACM, 978-1-4503-6836-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Tomé Cortiñas, Nachiappan Valliappan |
Simple Noninterference by Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, CCS 2019, London, United Kingdom, November 11-15, 2019, pp. 61-72, 2019, ACM, 978-1-4503-6836-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Jordan, François Gauthier 0001, Behnaz Hassanshahi, David Zhao 0001 |
Unacceptable Behavior: Robust PDF Malware Detection Using Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, CCS 2019, London, United Kingdom, November 11-15, 2019, pp. 19-30, 2019, ACM, 978-1-4503-6836-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta |
Are All Firewall Systems Equally Powerful? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, CCS 2019, London, United Kingdom, November 11-15, 2019, pp. 1-17, 2019, ACM, 978-1-4503-6836-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lefki Kacem, Catuscia Palamidessi |
Geometric Noise for Locally Private Counting Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 13-16, 2018, ACM, 978-1-4503-5993-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Noam Shalev, Nimrod Partush |
Binary Similarity Detection Using Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 42-47, 2018, ACM, 978-1-4503-5993-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gaboardi |
Formal Verification of Differential Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 1, 2018, ACM, 978-1-4503-5993-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tomonori Izumida, Akira Mori, Masatomo Hashimoto |
Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 48-53, 2018, ACM, 978-1-4503-5993-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Peeter Laud, Martin Pettai, Jaak Randmets |
Sensitivity Analysis of SQL Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 2-12, 2018, ACM, 978-1-4503-5993-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Iulia Bastys, Frank Piessens, Andrei Sabelfeld |
Prudent Design Principles for Information Flow Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 17-23, 2018, ACM, 978-1-4503-5993-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mário S. Alvim, Stéphanie Delaune (eds.) |
Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![ACM, 978-1-4503-5993-1 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Maximilian Algehed |
A Perspective on the Dependency Core Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 24-28, 2018, ACM, 978-1-4503-5993-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Besson, Alexandre Dang, Thomas P. Jensen |
Securing Compilation Against Memory Probing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 29-40, 2018, ACM, 978-1-4503-5993-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nate Foster |
Network Verification: Successes, Challenges, and Opportunities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 41, 2018, ACM, 978-1-4503-5993-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dusan Repel, Johannes Kinder, Lorenzo Cavallaro |
Modular Synthesis of Heap Exploits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 25-35, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Grütter, Toby C. Murray |
Short Paper: Towards Information Flow Reasoning about Real-World C Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 43-48, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Russell O'Connor |
Simplicity: A New Language for Blockchains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 107-120, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tejas Saoji, Thomas H. Austin, Cormac Flanagan |
Using Precise Taint Tracking for Auto-sanitization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 15-24, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | McKenna McCall, Lay Kuan Loh, Limin Jia 0001 |
A Sequent Calculus for Counterfactual Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 91-106, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gurvan Cabon, Alan Schmitt |
Annotated Multisemantics To Prove Non-Interference Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 49-62, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Eric Rothstein Morris, Carlos G. Murguia, Martín Ochoa |
Design-time Quantification of Integrity in Cyber-physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 63-74, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gang Tan, Trent Jaeger |
CFG Construction Soundness in Control-Flow Integrity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 3-13, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jay P. Lim, Vinod Ganapathy, Santosh Nagarakatte |
Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 37-42, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![ACM, 978-1-4503-5099-0 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Stephen Chong |
Authorization Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 75, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Maximilian Algehed, Alejandro Russo |
Encoding DCC in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 77-89, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hicks 0001 |
Languages for Oblivious Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 1, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Benitez |
Short Paper: Rusty Types for Solid Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 69-75, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jens Nicolay, Valentijn Spruyt, Coen De Roover |
Static Detection of User-specified Security Vulnerabilities in Client-side JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 3-13, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marco Vassena, Alejandro Russo |
On Formalizing Information-Flow Control Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 15-28, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fraser Brown |
Short Paper: Superhacks: Exploring and Preventing Vulnerabilities in Browser Binding Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 103-109, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Toby C. Murray, Deian Stefan (eds.) |
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![ACM, 978-1-4503-4574-3 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Avik Chaudhuri |
Flow: Abstract Interpretation of JavaScript for Type Checking and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 1, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Antonín Steinhauser, François Gauthier 0001 |
JSPChecker: Static Detection of Context-Sensitive Cross-Site Scripting Flaws in Legacy Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 57-68, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Fournet |
Verified Secure Implementations for the HTTPS Ecosystem: Invited Talk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 89, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ximeng Li 0001, Flemming Nielson, Hanne Riis Nielson |
Future-dependent Flow Policies with Prophetic Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 29-42, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nataliia Bielova |
Short Paper: Dynamic leakage: A Need for a New Quantitative Information Flow Measure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 83-88, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sepehr Amir-Mohammadian, Christian Skalka |
In-Depth Enforcement of Dynamic Integrity Taint Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 43-56, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella Béguelin |
Formal Verification of Smart Contracts: Short Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 91-96, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ziyuan Meng |
Short Paper: Bounding Information Leakage Using Implication Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 77-82, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Chandrakana Nandi, Michael D. Ernst |
Automatic Trigger Generation for Rule-based Smart Homes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016, pp. 97-102, 2016, ACM, 978-1-4503-4574-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #52 of 52 (100 per page; Change: )
|
|