Cover Image

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 /

Show other versions (2)

This book is Open Access under a CC BY licence.

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Nielson, Flemming (Editor), Sands, David (Editor)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:	1st ed. 2019.
Series:	Security and Cryptology, 11426
Subjects:	Data protection. Software engineering. Artificial intelligence. Electronic digital computers > Evaluation. Computers. Computer science. Data and Information Security. Software Engineering. Artificial Intelligence. System Performance and Evaluation. Computing Milieux. Theory of Computation.
Online Access:	Link to Metadata
Tags:	Add Tag No Tags, Be the first to tag this record!

Table of Contents:

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.