|
|
|
|
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.  |
PLAS@CCS  |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthías Páll Gissurarson, Agustín Mista |
Short Paper: Weak Runtime-Irrelevant Typing for Security. |
PLAS@CCS |
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 |
PLAS@CCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alisa Pankova, Joosep Jääger |
Short Paper: Secure Multiparty Logic Programming. |
PLAS@CCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Benitez, Jonathan Cogan, Alejandro Russo |
Short Paper: Blockcheck the Typechain. |
PLAS@CCS |
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. |
PLAS@CCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lauren Labell, Jared Chandler, Kathleen Fisher |
Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples. |
PLAS@CCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Sweet, David Darais, Michael Hicks 0001 |
Short Paper: Probabilistically Almost-Oblivious Computation. |
PLAS@CCS |
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. |
PLAS@CCS |
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. |
PLAS@CCS |
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 |
PLAS@CCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Kane, Bo Lin, Saksham Chand, Scott D. Stoller, Yanhong A. Liu |
High-Level Cryptographic Abstractions. |
PLAS@CCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Tomé Cortiñas, Nachiappan Valliappan |
Simple Noninterference by Normalization. |
PLAS@CCS |
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. |
PLAS@CCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta |
Are All Firewall Systems Equally Powerful? |
PLAS@CCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lefki Kacem, Catuscia Palamidessi |
Geometric Noise for Locally Private Counting Queries. |
PLAS@CCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Noam Shalev, Nimrod Partush |
Binary Similarity Detection Using Machine Learning. |
PLAS@CCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gaboardi |
Formal Verification of Differential Privacy. |
PLAS@CCS |
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. |
PLAS@CCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Peeter Laud, Martin Pettai, Jaak Randmets |
Sensitivity Analysis of SQL Queries. |
PLAS@CCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Iulia Bastys, Frank Piessens, Andrei Sabelfeld |
Prudent Design Principles for Information Flow Control. |
PLAS@CCS |
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 |
PLAS@CCS |
2018 |
DBLP BibTeX RDF |
|
| 1 | Maximilian Algehed |
A Perspective on the Dependency Core Calculus. |
PLAS@CCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Besson, Alexandre Dang, Thomas P. Jensen |
Securing Compilation Against Memory Probing. |
PLAS@CCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nate Foster |
Network Verification: Successes, Challenges, and Opportunities. |
PLAS@CCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dusan Repel, Johannes Kinder, Lorenzo Cavallaro |
Modular Synthesis of Heap Exploits. |
PLAS@CCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Grütter, Toby C. Murray |
Short Paper: Towards Information Flow Reasoning about Real-World C Code. |
PLAS@CCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Russell O'Connor |
Simplicity: A New Language for Blockchains. |
PLAS@CCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tejas Saoji, Thomas H. Austin, Cormac Flanagan |
Using Precise Taint Tracking for Auto-sanitization. |
PLAS@CCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | McKenna McCall, Lay Kuan Loh, Limin Jia 0001 |
A Sequent Calculus for Counterfactual Reasoning. |
PLAS@CCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gurvan Cabon, Alan Schmitt |
Annotated Multisemantics To Prove Non-Interference Analyses. |
PLAS@CCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Rothstein Morris, Carlos G. Murguia, Martín Ochoa |
Design-time Quantification of Integrity in Cyber-physical Systems. |
PLAS@CCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gang Tan, Trent Jaeger |
CFG Construction Soundness in Control-Flow Integrity. |
PLAS@CCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jay P. Lim, Vinod Ganapathy, Santosh Nagarakatte |
Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch? |
PLAS@CCS |
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 |
PLAS@CCS |
2017 |
DBLP BibTeX RDF |
|
| 1 | Stephen Chong |
Authorization Contracts. |
PLAS@CCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian Algehed, Alejandro Russo |
Encoding DCC in Haskell. |
PLAS@CCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hicks 0001 |
Languages for Oblivious Computation. |
PLAS@CCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Benitez |
Short Paper: Rusty Types for Solid Safety. |
PLAS@CCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Nicolay, Valentijn Spruyt, Coen De Roover |
Static Detection of User-specified Security Vulnerabilities in Client-side JavaScript. |
PLAS@CCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Vassena, Alejandro Russo |
On Formalizing Information-Flow Control Libraries. |
PLAS@CCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Fraser Brown |
Short Paper: Superhacks: Exploring and Preventing Vulnerabilities in Browser Binding Code. |
PLAS@CCS |
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 |
PLAS@CCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Avik Chaudhuri |
Flow: Abstract Interpretation of JavaScript for Type Checking and Beyond. |
PLAS@CCS |
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. |
PLAS@CCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet |
Verified Secure Implementations for the HTTPS Ecosystem: Invited Talk. |
PLAS@CCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ximeng Li 0001, Flemming Nielson, Hanne Riis Nielson |
Future-dependent Flow Policies with Prophetic Variables. |
PLAS@CCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nataliia Bielova |
Short Paper: Dynamic leakage: A Need for a New Quantitative Information Flow Measure. |
PLAS@CCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sepehr Amir-Mohammadian, Christian Skalka |
In-Depth Enforcement of Dynamic Integrity Taint Analysis. |
PLAS@CCS |
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. |
PLAS@CCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziyuan Meng |
Short Paper: Bounding Information Leakage Using Implication Graph. |
PLAS@CCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Chandrakana Nandi, Michael D. Ernst |
Automatic Trigger Generation for Rule-based Smart Homes. |
PLAS@CCS |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #52 of 52 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license