What do you think?
Rate this book
Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of ... Czech Republic, April 6-11, 2019, Proceedings
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.
264 pages, Paperback
Published April 6, 2019
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.