• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 148 matches

• 2020
• 
  Sergio Benitez, Jonathan Cogan, Alejandro Russo:
  Short Paper: Blockcheck the Typechain. PLAS@CCS 2020: 35-39
• 
  Sandrine Blazy:
  From Verified Compilation to Secure Compilation: a Semantic Approach. PLAS@CCS 2020: 1
• 
  Matthías Páll Gissurarson, Agustín Mista:
  Short Paper: Weak Runtime-Irrelevant Typing for Security. PLAS@CCS 2020: 13-17
• 
  Lauren Labell, Jared Chandler, Kathleen Fisher:
  Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples. PLAS@CCS 2020: 25-34
• 
  Kevin Morio, Dennis Jackson, Marco Vassena, Robert Künnemann:
  Short Paper: Modular Black-box Runtime Verification of Security Protocols. PLAS@CCS 2020: 19-22
• 
  Alisa Pankova, Joosep Jääger:
  Short Paper: Secure Multiparty Logic Programming. PLAS@CCS 2020: 3-7
• 
  Ian Sweet, David Darais, Michael Hicks:
  Short Paper: Probabilistically Almost-Oblivious Computation. PLAS@CCS 2020: 9-12
• 
  Jean Yang:
  How APIs Are Both the Illness and the Cure: The Software Heterogeneity Problem in Modern Web Applications. PLAS@CCS 2020: 23
• 
  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 [contents]
• 2019
• 
  Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta:
  Are All Firewall Systems Equally Powerful? PLAS@CCS 2019: 1-17
• 
  Carlos Tomé Cortiñas, Nachiappan Valliappan:
  Simple Noninterference by Normalization. PLAS@CCS 2019: 61-72
• 
  Alexander Jordan, François Gauthier, Behnaz Hassanshahi, David Zhao:
  Unacceptable Behavior: Robust PDF Malware Detection Using Abstract Interpretation. PLAS@CCS 2019: 19-30
• 
  Christopher Kane, Bo Lin, Saksham Chand, Scott D. Stoller, Yanhong A. Liu:
  High-Level Cryptographic Abstractions. PLAS@CCS 2019: 31-43
• 
  Cristian-Alexandru Staicu, Daniel Schoepe, Musard Balliu, Michael Pradel, Andrei Sabelfeld:
  An Empirical Study of Information Flows in Real-World JavaScript. PLAS@CCS 2019: 45-59
• 
  Piotr Mardziel, Niki Vazou:
  Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, CCS 2019, London, United Kingdom, November 11-15, 2019. ACM 2019, ISBN 978-1-4503-6836-0 [contents]
• 2018
• 
  Maximilian Algehed:
  A Perspective on the Dependency Core Calculus. PLAS@CCS 2018: 24-28
• 
  Iulia Bastys, Frank Piessens, Andrei Sabelfeld:
  Prudent Design Principles for Information Flow Control. PLAS@CCS 2018: 17-23
• 
  Frédéric Besson, Alexandre Dang, Thomas P. Jensen:
  Securing Compilation Against Memory Probing. PLAS@CCS 2018: 29-40
• 
  Nate Foster:
  Network Verification: Successes, Challenges, and Opportunities. PLAS@CCS 2018: 41
• 
  Marco Gaboardi:
  Formal Verification of Differential Privacy. PLAS@CCS 2018: 1
• 
  Tomonori Izumida, Akira Mori, Masatomo Hashimoto:
  Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code. PLAS@CCS 2018: 48-53
• 
  Lefki Kacem, Catuscia Palamidessi:
  Geometric Noise for Locally Private Counting Queries. PLAS@CCS 2018: 13-16
• 
  Peeter Laud, Martin Pettai, Jaak Randmets:
  Sensitivity Analysis of SQL Queries. PLAS@CCS 2018: 2-12
• 
  Noam Shalev, Nimrod Partush:
  Binary Similarity Detection Using Machine Learning. PLAS@CCS 2018: 42-47
• 
  Mário S. Alvim, Stéphanie Delaune:
  Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018. ACM 2018, ISBN 978-1-4503-5993-1 [contents]
• 2017
• 
  Maximilian Algehed, Alejandro Russo:
  Encoding DCC in Haskell. PLAS@CCS 2017: 77-89
• 
  Gurvan Cabon, Alan Schmitt:
  Annotated Multisemantics To Prove Non-Interference Analyses. PLAS@CCS 2017: 49-62
• 
  Stephen Chong:
  Authorization Contracts. PLAS@CCS 2017: 75
• 
  Samuel Grütter, Toby C. Murray:
  Short Paper: Towards Information Flow Reasoning about Real-World C Code. PLAS@CCS 2017: 43-48
• 
  Michael Hicks:
  Languages for Oblivious Computation. PLAS@CCS 2017: 1

skipping 118 more matches