• 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 129 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]
• 2018
• 
  Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi:
  Leakage and Protocol Composition in a Game-Theoretic Perspective. POST 2018: 134-159
• 
  Arthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce:
  The Meaning of Memory Safety. POST 2018: 79-105
• 
  Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino:
  SoK: Unraveling Bitcoin Smart Contracts. POST 2018: 217-242
• 
  Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta:
  Transcompiling Firewalls. POST 2018: 303-324
• 
  Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei:
  Equivalence Properties by Typing in Cryptographic Branching Protocols. POST 2018: 160-187
• 
  Ilya Grishchenko, Matteo Maffei, Clara Schneidewind:
  A Semantic Framework for the Security Analysis of Ethereum Smart Contracts. POST 2018: 243-269
• 
  Aleksandr Karbyshev, Kasper Svendsen, Aslan Askarov, Lars Birkedal:
  Compositional Non-interference for Concurrent Programs via Separation and Framing. POST 2018: 53-78
• 
  Barbara Kordy, Wojciech Widel:
  On Quantitative Analysis of Attack-Defense Trees with Repeated Labels. POST 2018: 325-346
• 
  Anastasia Mavridou, Aron Laszka:
  Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts. POST 2018: 270-277
• 
  Reinhard Munz, Fabienne Eigner, Matteo Maffei, Paul Francis, Deepak Garg:
  UniTraX: Protecting Data Privacy with Discoverable Biases. POST 2018: 278-299
• 
  Hamed Nemati, Christoph Baumann, Roberto Guanciale, Mads Dam:
  Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels. POST 2018: 109-133
• 
  Giada Sciarretta, Roberto Carbone, Silvio Ranise, Luca Viganò:
  Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience. POST 2018: 188-213
• 
  Ian Sweet, José Manuel Calderón Trilla, Chad Scherrer, Michael Hicks, Stephen Magill:
  What's the Over/Under? Probabilistic Bounds on Information Leakage. POST 2018: 3-27
• 
  Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson:
  Secure Information Release in Timed Automata. POST 2018: 28-52
• 
  Lujo Bauer, Ralf Küsters:
  Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Lecture Notes in Computer Science 10804, Springer 2018, ISBN 978-3-319-89721-9 [contents]
• 2017
• 
  Patrick Ah-Fat, Michael Huth:
  Secure Multi-party Computation: Information Flow of Outputs and Game Theory. POST 2017: 71-92
• 
  Mário S. Alvim, Piotr Mardziel, Michael W. Hicks:
  Quantifying Vulnerability of Secret Generation Using Hyper-Distributions. POST 2017: 26-48
• 
  Zaruhi Aslanyan, Flemming Nielson:
  Model Checking Exact Cost for Attack Scenarios. POST 2017: 210-231
• 
  Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli:
  A Survey of Attacks on Ethereum Smart Contracts (SoK). POST 2017: 164-186

skipping 99 more matches