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 13 of 13 records

view refined list in

export refined list as

showing all 13 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

- view
  - electronic edition @ acm.org
  - details & citations
- 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
no results

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
no results

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
no results

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
no results

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
no results

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
no results

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.