Advertisement

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

  • Flemming Nielson
  • David Sands
Open Access
Conference proceedings POST 2019

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11426)

Also part of the Security and Cryptology book sub series (LNSC, volume 11426)

Table of contents

  1. Front Matter
    Pages i-xi
    PDF
  2. Foundations for Parallel Information Flow Control Runtime Systems
    Marco Vassena, Gary Soeller, Peter Amidon, Matthew Chan, John Renner, Deian Stefan
    Pages 1-28 Open Access
    PDF
  3. A Formal Analysis of Timing Channel Security via Bucketing
    Tachio Terauchi, Timos Antonopoulos
    Pages 29-50 Open Access
    PDF
  4. A Dependently Typed Library for Static Information-Flow Control in Idris
    Simon Gregersen, Søren Eller Thomsen, Aslan Askarov
    Pages 51-75 Open Access
    PDF
  5. Achieving Safety Incrementally with Checked C
    Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, Michael Hicks
    Pages 76-98 Open Access
    PDF
  6. \(\textsc {Wys}^\star \): A DSL for Verified Secure Multi-party Computations
    Aseem Rastogi, Nikhil Swamy, Michael Hicks
    Pages 99-122 Open Access
    PDF
  7. Generalised Differential Privacy for Text Document Processing
    Natasha Fernandes, Mark Dras, Annabelle McIver
    Pages 123-148 Open Access
    PDF
  8. Symbolic Verification of Distance Bounding Protocols
    Alexandre Debant, Stéphanie Delaune
    Pages 149-174 Open Access
    PDF
  9. On the Formalisation of \(\varSigma \)-Protocols and Commitment Schemes
    David Butler, David Aspinall, Adrià Gascón
    Pages 175-196 Open Access
    PDF
  10. Orchestrating Layered Attestations
    John D. Ramsdell, Paul D. Rowe, Perry Alexander, Sarah C. Helble, Peter Loscocco, J. Aaron Pendergrass et al.
    Pages 197-221 Open Access
    PDF
  11. Verifying Liquidity of Bitcoin Contracts
    Massimo Bartoletti, Roberto Zunino
    Pages 222-247 Open Access
    PDF
  12. Back Matter
    Pages 249-249
    PDF

About these proceedings

Introduction

This book is Open Access under a CC BY licence.

Keywords

access control anonymity artificial intelligence authentication crypto foundations data security formal logic formal methods formal verifications model checking privacy program compilers programming languages reputation and trust semantics software engineering software evaluation trust management verification

Editors and affiliations

  1. 1.Technical University of DenmarkKongens LyngbyDenmark
  2. 2.Chalmers University of TechnologyGothenburgSweden

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-17138-4
  • Copyright Information The Editor(s) (if applicable) and The Author(s) 2019
  • License CC BY
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-030-17137-7
  • Online ISBN 978-3-030-17138-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site