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

Başlık:

ISBN:

9783030171384

Edition:

1st ed. 2019.

Yayın Bilgileri:

Cham : Springer International Publishing : Imprint: Springer, 2019.

Fiziksel Tanımlama:

XI, 249 p. 2896 illus., 22 illus. in color. online resource.

Series:

Security and Cryptology, 11426

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.

Abstract:

This book is Open Access under a CC BY licence.

Subject Term:

Data protection.

Software engineering.

Artificial intelligence.

Electronic digital computers -- Evaluation.

Computers.

Computer science.

Data and Information Security.

System Performance and Evaluation.

Computing Milieux.