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

Description

This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and foundational aspects of security and trust, including on new theoretical results, practical applications of existing foundational ideas, and innovative approaches stimulated by pressing practical problems. Front Matter ....Pages i-xi Foundations for Parallel Information Flow Control Runtime Systems (Marco Vassena, Gary Soeller, Peter Amidon, Matthew Chan, John Renner, Deian Stefan)....Pages 1-28 A Formal Analysis of Timing Channel Security via Bucketing (Tachio Terauchi, Timos Antonopoulos)....Pages 29-50 A Dependently Typed Library for Static Information-Flow Control in Idris (Simon Gregersen, Søren Eller Thomsen, Aslan Askarov)....Pages 51-75 Achieving Safety Incrementally with Checked C (Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, Michael Hicks)....Pages 76-98 \(\textsc {Wys}^\star \): A DSL for Verified Secure Multi-party Computations (Aseem Rastogi, Nikhil Swamy, Michael Hicks)....Pages 99-122 Generalised Differential Privacy for Text Document Processing (Natasha Fernandes, Mark Dras, Annabelle McIver)....Pages 123-148 Symbolic Verification of Distance Bounding Protocols (Alexandre Debant, Stéphanie Delaune)....Pages 149-174 On the Formalisation of \(\varSigma \)-Protocols and Commitment Schemes (David Butler, David Aspinall, Adrià Gascón)....Pages 175-196 Orchestrating Layered Attestations (John D. Ramsdell, Paul D. Rowe, Perry Alexander, Sarah C. Helble, Peter Loscocco, J. Aaron Pendergrass et al.)....Pages 197-221 Verifying Liquidity of Bitcoin Contracts (Massimo Bartoletti, Roberto Zunino)....Pages 222-247 Back Matter ....Pages 249-249