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

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

Editors: Nielson, Flemming, Sands, David (Eds.)

Free Preview

Buy this book

eBook  
  • ISBN 978-3-030-17138-4
  • 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-030-17137-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. 

The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and foundational aspects of security and trust, including on new theoretical results, practical applications of existing foundational ideas, and innovative approaches stimulated by pressing practical problems.

Table of contents (10 chapters)

Table of contents (10 chapters)
  • Foundations for Parallel Information Flow Control Runtime Systems

    Vassena, Marco (et al.)

    Pages 1-28

  • A Formal Analysis of Timing Channel Security via Bucketing

    Terauchi, Tachio (et al.)

    Pages 29-50

  • A Dependently Typed Library for Static Information-Flow Control in Idris

    Gregersen, Simon (et al.)

    Pages 51-75

  • Achieving Safety Incrementally with Checked C

    Ruef, Andrew (et al.)

    Pages 76-98

  • $$\textsc {Wys}^\star $$: A DSL for Verified Secure Multi-party Computations

    Rastogi, Aseem (et al.)

    Pages 99-122

Buy this book

eBook  
  • ISBN 978-3-030-17138-4
  • 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-030-17137-7
  • Free shipping for individuals worldwide
  • 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
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
Editors
  • Flemming Nielson
  • David Sands
Series Title
Security and Cryptology
Series Volume
11426
Copyright
2019
Publisher
Springer International Publishing
Copyright Holder
The Editor(s) (if applicable) and The Author(s)
eBook ISBN
978-3-030-17138-4
DOI
10.1007/978-3-030-17138-4
Softcover ISBN
978-3-030-17137-7
Edition Number
1
Number of Pages
XI, 249
Number of Illustrations
2874 b/w illustrations, 22 illustrations in colour
Topics