Abstract is missing.
- Flow: Abstract Interpretation of JavaScript for Type Checking and BeyondAvik Chaudhuri. 1 [doi]
- Static Detection of User-specified Security Vulnerabilities in Client-side JavaScriptJens Nicolay, Valentijn Spruyt, Coen De Roover. 3-13 [doi]
- On Formalizing Information-Flow Control LibrariesMarco Vassena, Alejandro Russo. 15-28 [doi]
- Future-dependent Flow Policies with Prophetic VariablesXimeng Li 0001, Flemming Nielson, Hanne Riis Nielson. 29-42 [doi]
- In-Depth Enforcement of Dynamic Integrity Taint AnalysisSepehr Amir-Mohammadian, Christian Skalka. 43-56 [doi]
- JSPChecker: Static Detection of Context-Sensitive Cross-Site Scripting Flaws in Legacy Web ApplicationsAntonin Steinhauser, François Gauthier. 57-68 [doi]
- Short Paper: Rusty Types for Solid SafetySergio Benitez. 69-75 [doi]
- Short Paper: Bounding Information Leakage Using Implication GraphZiyuan Meng. 77-82 [doi]
- Short Paper: Dynamic leakage: A Need for a New Quantitative Information Flow MeasureNataliia Bielova. 83-88 [doi]
- Verified Secure Implementations for the HTTPS Ecosystem: Invited TalkCédric Fournet. 89 [doi]
- Formal Verification of Smart Contracts: Short PaperKarthikeyan 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. 91-96 [doi]
- Automatic Trigger Generation for Rule-based Smart HomesChandrakana Nandi, Michael D. Ernst. 97-102 [doi]
- Short Paper: Superhacks: Exploring and Preventing Vulnerabilities in Browser Binding CodeFraser Brown. 103-109 [doi]