European University Institute Library

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, edited by Flemming Nielson, David Sands

Type
Label
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, edited by Flemming Nielson, David Sands
Language
eng
resource.imageBitDepth
0
Literary Form
non fiction
Main title
Principles of Security and Trust
Medium
electronic resource
Nature of contents
dictionaries
Oclc number
1117483691
Responsibility statement
edited by Flemming Nielson, David Sands
Series statement
Open Access e-Books
Sub title
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
Summary
This book is Open Access under a CC BY licence.--, Provided by publisher
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
Contributor
Subject
Content
Editor
Is Part Of
resource.partOf
Mapped to

Incoming Resources

Outgoing Resources