Principles of Security and Trust: 8th International Conference, Post 2019, Held as Part of the European Joint Conferences on Theory and Practice of So (Paperback, 2019)

Foundations for parallel information ow control runtime systems.- A Formal Analysis of Timing Channel Security via Bucketing.- A Dependently Typed Library for Static Information-Flow Control in Idris.- Achieving Safety Incrementally with Checked C.- Wys*: A DSL for Verified Secure Multi-party Computations.- Generalised Differential Privacy for Text Document Processing.- Symbolic verification of distance bounding protocols.- On the formalisation of ?-Protocols and Commitment Schemes.- Orchestrating Layered Attestations.- Verifying liquidity of Bitcoin contracts.