default search action

combined dblp search
author search
venue search
publication search

ask others

15th PLAS@CCS 2020: Virtual Event, 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
  authority control:
- export record
  dblp key:
  - conf/ccs/2020plas
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/2020plas
Alley Stoughton, Marco Vassena:
PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020. ACM 2020, ISBN 978-1-4503-8092-8
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/Blazy20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Blazy20
Sandrine Blazy:
From Verified Compilation to Secure Compilation: a Semantic Approach. 1
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/PankovaJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/PankovaJ20
Alisa Pankova, Joosep Jääger:
Short Paper: Secure Multiparty Logic Programming. 3-7
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/SweetD020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/SweetD020
Ian Sweet, David Darais, Michael Hicks:
Short Paper: Probabilistically Almost-Oblivious Computation. 9-12
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/GissurarsonM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/GissurarsonM20
Matthías Páll Gissurarson, Agustín Mista:
Short Paper: Weak Runtime-Irrelevant Typing for Security. 13-17
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/MorioJVK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/MorioJVK20
Kevin Morio, Dennis Jackson, Marco Vassena, Robert Künnemann:
Short Paper: Modular Black-box Runtime Verification of Security Protocols. 19-22
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/Yang20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Yang20
Jean Yang:
How APIs Are Both the Illness and the Cure: The Software Heterogeneity Problem in Modern Web Applications. 23
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/LabellCF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/LabellCF20
Lauren Labell, Jared Chandler, Kathleen Fisher:
Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples. 25-34
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/BenitezCR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/BenitezCR20
Sergio Benitez, Jonathan Cogan, Alejandro Russo:
Short Paper: Blockcheck the Typechain. 35-39

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.