TitlePrinciples 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
ImprintCham : Springer International Publishing : Imprint: Springer, 2019
Edition 1st ed. 2019
Connect tohttps://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

  1. Computer security
  2. Software engineering
  3. Artificial intelligence
  4. Computer system performance
  5. Computer science
  6. Information theory
  7. Systems and Data Security. http://scigraph.springernature.com/things/product-market-codes/I28060
  8. Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things/product-market-codes/I14002
  9. Artificial Intelligence. http://scigraph.springernature.com/things/product-market-codes/I21000
  10. System Performance and Evaluation. http://scigraph.springernature.com/things/product-market-codes/I13049
  11. Computing Milieux. http://scigraph.springernature.com/things/product-market-codes/I24008
  12. Theory of Computation. http://scigraph.springernature.com/things/product-market-codes/I16005