Details

Autor(en) / Beteiligte

• Nielson, Flemming[Herausgeber]
• Nielson, Flemming[Herausgeber]
• Sands, David[Herausgeber]

Titel

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 [electronic resource]

Auflage

1st ed. 2019

Ort / Verlag

Cham : Springer International Publishing

Erscheinungsjahr

2019

Link zum Volltext

• SpringerLink Books - AutoHoldings

Beschreibungen/Notizen

• 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.
• This book is Open Access under a CC BY licence.
• English
• Description based on publisher supplied metadata and other sources.