Skip to main content
  • Conference proceedings
  • © 2017

Principles of Security and Trust

6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

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

Part of the book sub series: Security and Cryptology (LNSC)

Conference series link(s): POST: International Conference on Principles of Security and Trust

Conference proceedings info: POST 2017.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (14 papers)

  1. Front Matter

    Pages I-XII
  2. Information Flow

    1. Front Matter

      Pages 1-1
    2. Timing-Sensitive Noninterference through Composition

      • Willard Rafnsson, Limin Jia, Lujo Bauer
      Pages 3-25
    3. Quantifying Vulnerability of Secret Generation Using Hyper-Distributions

      • Mário S. Alvim, Piotr Mardziel, Michael Hicks
      Pages 26-48
    4. A Principled Approach to Tracking Information Flow in the Presence of Libraries

      • Daniel Hedin, Alexander Sjösten, Frank Piessens, Andrei Sabelfeld
      Pages 49-70
  3. Security Protocols

    1. Front Matter

      Pages 93-93
    2. Automated Verification of Dynamic Root of Trust Protocols

      • Sergiu Bursuc, Christian Johansen, Shiwei Xu
      Pages 95-116
    3. Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols

      • Jannik Dreier, Charles Duménil, Steve Kremer, Ralf Sasse
      Pages 117-140
    4. On Communication Models When Verifying Equivalence Properties

      • Kushal Babel, Vincent Cheval, Steve Kremer
      Pages 141-163
    5. A Survey of Attacks on Ethereum Smart Contracts (SoK)

      • Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli
      Pages 164-186
  4. Security Policies

    1. Front Matter

      Pages 187-187
    2. Security Analysis of Cache Replacement Policies

      • Pablo Cañones, Boris Köpf, Jan Reineke
      Pages 189-209
    3. Model Checking Exact Cost for Attack Scenarios

      • Zaruhi Aslanyan, Flemming Nielson
      Pages 210-231
    4. Postulates for Revocation Schemes

      • Marcos Cramer, Giovanni Casini
      Pages 232-252
    5. Defense in Depth Formulation and Usage in Dynamic Access Control

      • Ridha Khedri, Owain Jones, Mohammed Alabbad
      Pages 253-274
  5. Information Leakage

    1. Front Matter

      Pages 275-275
    2. Compositional Synthesis of Leakage Resilient Programs

      • Arthur Blot, Masaki Yamamoto, Tachio Terauchi
      Pages 277-297
  6. Back Matter

    Pages 321-321

Other Volumes

  1. Principles of Security and Trust

About this book

This book constitutes the proceedings of the 6th International Conference on Principles of Security and Trust, POST 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.
The 14 papers presented in this volume were carefully reviewed and selected from 40 submissions. They were organized in topical sections named: information flow; security protocols; security policies; and information leakage. 

Editors and Affiliations

  • Saarland University, Saarbrücken, Germany

    Matteo Maffei

  • University of Birmingham, Birmingham, United Kingdom

    Mark Ryan

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access