Principles of Security and Trust [electronic resource] : 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

Title	Principles of Security and Trust [electronic resource] : 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
Imprint	Cham : Springer International Publishing : Imprint: Springer, 2019
Edition	1st ed. 2019
Connect to	https://doi.org/10.1007/978-3-030-17138-4
Descript	XI, 249 p. 2896 illus., 22 illus. in color. online resource

SUMMARY

This book is Open Access under a CC BY licence

CONTENT

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

SUBJECT

Computer security
Software engineering
Artificial intelligence
Computer system performance
Computer science
Information theory
Systems and Data Security. http://scigraph.springernature.com/things/product-market-codes/I28060
Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things/product-market-codes/I14002
Artificial Intelligence. http://scigraph.springernature.com/things/product-market-codes/I21000
System Performance and Evaluation. http://scigraph.springernature.com/things/product-market-codes/I13049
Computing Milieux. http://scigraph.springernature.com/things/product-market-codes/I24008
Theory of Computation. http://scigraph.springernature.com/things/product-market-codes/I16005