default search action

combined dblp search
author search
venue search
publication search

ask others

PLAS@CCS 2017: Dallas, TX, USA

> 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
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/ccs/2017plas
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/2017plas
Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017. ACM 2017, ISBN 978-1-4503-5099-0

Session 1: Invited Talk I

- view
  authority control:
- export record
  dblp key:
  - conf/ccs/Hicks17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Hicks17
Michael Hicks:
Languages for Oblivious Computation. 1

Session 2: Program analysis

- view
  authority control:
- export record
  dblp key:
  - conf/ccs/TanJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/TanJ17
Gang Tan, Trent Jaeger:
CFG Construction Soundness in Control-Flow Integrity. 3-13
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/SaojiAF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/SaojiAF17
Tejas Saoji, Thomas H. Austin, Cormac Flanagan:
Using Precise Taint Tracking for Auto-sanitization. 15-24
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/RepelKC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/RepelKC17
Dusan Repel, Johannes Kinder, Lorenzo Cavallaro:
Modular Synthesis of Heap Exploits. 25-35

Session 3: Information Flow

- view
  authority control:
- export record
  dblp key:
  - conf/ccs/LimGN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/LimGN17
Jay P. Lim, Vinod Ganapathy, Santosh Nagarakatte:
Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch? 37-42
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/GrutterM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/GrutterM17
Samuel Grütter, Toby C. Murray:
Short Paper: Towards Information Flow Reasoning about Real-World C Code. 43-48
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/CabonS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/CabonS17
Gurvan Cabon, Alan Schmitt:
Annotated Multisemantics To Prove Non-Interference Analyses. 49-62
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/MorrisMO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/MorrisMO17
Eric Rothstein Morris, Carlos G. Murguia, Martín Ochoa:
Design-time Quantification of Integrity in Cyber-physical Systems. 63-74

Session 4: Invited Talk II

- view
  authority control:
- export record
  dblp key:
  - conf/ccs/Chong17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Chong17
Stephen Chong:
Authorization Contracts. 75

Session 5: New Languages and Tools

- view
  authority control:
- export record
  dblp key:
  - conf/ccs/AlgehedR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/AlgehedR17
Maximilian Algehed, Alejandro Russo:
Encoding DCC in Haskell. 77-89
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/McCallLJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/McCallLJ17
McKenna McCall, Lay Kuan Loh, Limin Jia:
A Sequent Calculus for Counterfactual Reasoning. 91-106
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/OConnor17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/OConnor17
Russell O'Connor:
Simplicity: A New Language for Blockchains. 107-120

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.