Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

PLAS@CCS 2016: Vienna, Austria

> Home > Conferences and Workshops > PLAS
> Home > Conferences and Workshops > CCS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ccs/2016plas
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/2016plas
Toby C. Murray, Deian Stefan:
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016. ACM 2016, ISBN 978-1-4503-4574-3

Invited Talk I

- view
  authority control:
- export record
  dblp key:
  - conf/ccs/Chaudhuri16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Chaudhuri16
Avik Chaudhuri:
Flow: Abstract Interpretation of JavaScript for Type Checking and Beyond. 1

JavaScript

- view
  authority control:
- export record
  dblp key:
  - conf/ccs/NicolaySR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/NicolaySR16
Jens Nicolay, Valentijn Spruyt, Coen De Roover:
Static Detection of User-specified Security Vulnerabilities in Client-side JavaScript. 3-13

Information Flow

- view
  authority control:
- export record
  dblp key:
  - conf/ccs/VassenaR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/VassenaR16
Marco Vassena, Alejandro Russo:
On Formalizing Information-Flow Control Libraries. 15-28
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/LiNN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/LiNN16
Ximeng Li, Flemming Nielson, Hanne Riis Nielson:
Future-dependent Flow Policies with Prophetic Variables. 29-42
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/Amir-Mohammadian16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Amir-Mohammadian16
Sepehr Amir-Mohammadian, Christian Skalka:
In-Depth Enforcement of Dynamic Integrity Taint Analysis. 43-56

Program Analysis and Types

- view
  authority control:
- export record
  dblp key:
  - conf/ccs/SteinhauserG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/SteinhauserG16
Antonín Steinhauser, François Gauthier:
JSPChecker: Static Detection of Context-Sensitive Cross-Site Scripting Flaws in Legacy Web Applications. 57-68
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/Benitez16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Benitez16
Sergio Benitez:
Short Paper: Rusty Types for Solid Safety. 69-75
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/Meng16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Meng16
Ziyuan Meng:
Short Paper: Bounding Information Leakage Using Implication Graph. 77-82
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/Bielova16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Bielova16
Nataliia Bielova:
Short Paper: Dynamic leakage: A Need for a New Quantitative Information Flow Measure. 83-88

Invited Talk II

- view
  authority control:
- export record
  dblp key:
  - conf/ccs/Fournet16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Fournet16
Cédric Fournet:
Verified Secure Implementations for the HTTPS Ecosystem: Invited Talk. 89

Novel Applications

- view
  authority control:
- export record
  dblp key:
  - conf/ccs/BhargavanDFGGKK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/BhargavanDFGGKK16
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. 91-96
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/NandiE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/NandiE16
Chandrakana Nandi, Michael D. Ernst:
Automatic Trigger Generation for Rule-based Smart Homes. 97-102
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/Brown16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Brown16
Fraser Brown:
Short Paper: Superhacks: Exploring and Preventing Vulnerabilities in Browser Binding Code. 103-109

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.