Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Security and Cryptology Advanced Research in Computing and Software Science
Open Access This content is freely available online to anyone, anywhere at any time.

Principles of Security and Trust

7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Editors: Bauer, Lujo, Küsters, Ralf (Eds.)

Free Preview

Buy this book

eBook  
  • ISBN 978-3-319-89722-6
  • This book is an open access book, you can download it for free on link.springer.com
Softcover $59.99
price for USA in USD
  • ISBN 978-3-319-89721-9
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
About this book

This open access book constitutes the proceedings of the 7th International Conference on Principles of Security and Trust, POST 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.

The 13 papers presented in this volume were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections named: information flow and non-intereference; leakage, information flow, and protocols; smart contracts and privacy; firewalls and attack-defense trees.

Table of contents (14 chapters)

Table of contents (14 chapters)
  • What’s the Over/Under? Probabilistic Bounds on Information Leakage

    Pages 3-27

    Sweet, Ian (et al.)

  • Secure Information Release in Timed Automata

    Pages 28-52

    Vasilikos, Panagiotis (et al.)

  • Compositional Non-interference for Concurrent Programs via Separation and Framing

    Pages 53-78

    Karbyshev, Aleksandr (et al.)

  • The Meaning of Memory Safety

    Pages 79-105

    Azevedo de Amorim, Arthur (et al.)

  • Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels

    Pages 109-133

    Nemati, Hamed (et al.)

Buy this book

eBook  
  • ISBN 978-3-319-89722-6
  • This book is an open access book, you can download it for free on link.springer.com
Softcover $59.99
price for USA in USD
  • ISBN 978-3-319-89721-9
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Principles of Security and Trust
Book Subtitle
7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Editors
  • Lujo Bauer
  • Ralf Küsters
Series Title
Security and Cryptology
Series Volume
10804
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
The Editor(s) (if applicable) and The Author(s)
eBook ISBN
978-3-319-89722-6
DOI
10.1007/978-3-319-89722-6
Softcover ISBN
978-3-319-89721-9
Edition Number
1
Number of Pages
XIV, 347
Number of Illustrations
85 b/w illustrations
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.