TY  - BOOK
AU  - Nielson,Flemming
AU  - Sands,David
ED  - SpringerLink (Online service)
TI  - 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 
T2  - Security and Cryptology
SN  - 9783030171384
AV  - QA76.9.A25 
U1  - 005.8 23
PY  - 2019///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computer security
KW  - Software engineering
KW  - Artificial intelligence
KW  - Computer system failures
KW  - Computers
KW  - Systems and Data Security
KW  - Software Engineering/Programming and Operating Systems
KW  - Artificial Intelligence
KW  - System Performance and Evaluation
KW  - Computing Milieux
KW  - Theory of Computation
N1  - 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; Open Access
N2  - This book is Open Access under a CC BY licence
UR  - https://doi.org/10.1007/978-3-030-17138-4
ER  -