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

  • Flemming Nielson
  • David Sands
Open Access
Conference proceedings
POST 2019

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11426)

Also part of the Security and Cryptology book sub series (LNSC, volume 11426)

Table of contents

  1. Front Matter
    Pages i-xi
  2. Marco Vassena, Gary Soeller, Peter Amidon, Matthew Chan, John Renner, Deian Stefan
    Pages 1-28 Open Access
  3. Tachio Terauchi, Timos Antonopoulos
    Pages 29-50 Open Access
  4. Simon Gregersen, Søren Eller Thomsen, Aslan Askarov
    Pages 51-75 Open Access
  5. Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, Michael Hicks
    Pages 76-98 Open Access
  6. Aseem Rastogi, Nikhil Swamy, Michael Hicks
    Pages 99-122 Open Access
  7. Natasha Fernandes, Mark Dras, Annabelle McIver
    Pages 123-148 Open Access
  8. Alexandre Debant, Stéphanie Delaune
    Pages 149-174 Open Access
  9. David Butler, David Aspinall, Adrià Gascón
    Pages 175-196 Open Access
  10. John D. Ramsdell, Paul D. Rowe, Perry Alexander, Sarah C. Helble, Peter Loscocco, J. Aaron Pendergrass et al.
    Pages 197-221 Open Access
  11. Massimo Bartoletti, Roberto Zunino
    Pages 222-247 Open Access
  12. Back Matter
    Pages 249-249

About these proceedings


This book is Open Access under a CC BY licence.


access control anonymity artificial intelligence authentication crypto foundations data security formal logic formal methods formal verifications model checking privacy program compilers programming languages reputation and trust semantics software engineering software evaluation trust management verification

Editors and affiliations

  1. 1.Technical University of DenmarkKongens LyngbyDenmark
  2. 2.Chalmers University of TechnologyGothenburgSweden

Bibliographic information

  • DOI
  • Copyright Information The Editor(s) (if applicable) and The Author(s) 2019
  • License CC BY
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-030-17137-7
  • Online ISBN 978-3-030-17138-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment