• 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 11 matches

• 2019
• 
  Massimo Bartoletti, Roberto Zunino:
  Verifying Liquidity of Bitcoin Contracts. POST 2019: 222-247
• 
  David Butler, David Aspinall, Adrià Gascón:
  On the Formalisation of Σ-Protocols and Commitment Schemes. POST 2019: 175-196
• 
  Alexandre Debant, Stéphanie Delaune:
  Symbolic Verification of Distance Bounding Protocols. POST 2019: 149-174
• 
  Natasha Fernandes, Mark Dras, Annabelle McIver:
  Generalised Differential Privacy for Text Document Processing. POST 2019: 123-148
• 
  Simon Oddershede Gregersen, Søren Eller Thomsen, Aslan Askarov:
  A Dependently Typed Library for Static Information-Flow Control in Idris. POST 2019: 51-75
• 
  John D. Ramsdell, Paul D. Rowe, Perry Alexander, Sarah Helble, Peter A. Loscocco, J. Aaron Pendergrass, Adam Petz:
  Orchestrating Layered Attestations. POST 2019: 197-221
• 
  Aseem Rastogi, Nikhil Swamy, Michael Hicks:
  Wys*: A DSL for Verified Secure Multi-party Computations. POST 2019: 99-122
• 
  Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, Michael Hicks:
  Achieving Safety Incrementally with Checked C. POST 2019: 76-98
• 
  Tachio Terauchi, Timos Antonopoulos:
  A Formal Analysis of Timing Channel Security via Bucketing. POST 2019: 29-50
• 
  Marco Vassena, Gary Soeller, Peter Amidon, Matthew Chan, John Renner, Deian Stefan:
  Foundations for Parallel Information Flow Control Runtime Systems. POST 2019: 1-28
• 
  Flemming Nielson, David Sands:
  Principles of Security and Trust - 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. Lecture Notes in Computer Science 11426, Springer 2019, ISBN 978-3-030-17137-7 [contents]