default search action

combined dblp search
author search
venue search
publication search

ask others

5th POST 2016: Eindhoven, The Netherlands (Part of ETAPS 2016)

> Home > Conferences and Workshops > POST
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/post/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/2016
Frank Piessens, Luca Viganò:
Principles of Security and Trust - 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Lecture Notes in Computer Science 9635, Springer 2016, ISBN 978-3-662-49634-3

Information Flow

- view
  authority control:
- export record
  dblp key:
  - conf/post/SchmitzRAKF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/SchmitzRAKF16
Thomas Schmitz, Dustin Rhodes, Thomas H. Austin, Kenneth L. Knowles, Cormac Flanagan:
Faceted Dynamic Information Flow via Control and Data Monads. 3-23
- view
  authority control:
- export record
  dblp key:
  - conf/post/Bolosteanu016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/Bolosteanu016
Iulia Bolosteanu, Deepak Garg:
Asymmetric Secure Multi-execution with Declassification. 24-45
- view
  authority control:
- export record
  dblp key:
  - conf/post/BielovaR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/BielovaR16
Nataliia Bielova, Tamara Rezk:
A Taxonomy of Information Flow Monitors. 46-67
- view
  authority control:
- export record
  dblp key:
  - conf/post/BreitnerGHMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/BreitnerGHMS16
Joachim Breitner, Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting:
On Improvements of Low-Deterministic Security. 68-88
- view
  authority control:
- export record
  dblp key:
  - conf/post/GrafHMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/GrafHMS16
Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting:
Tool Demonstration: JOANA. 89-93

Models and Applications

- view
  authority control:
- export record
  dblp key:
  - conf/post/DoKW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/DoKW16
Quoc Huy Do, Eduard Kamburjan, Nathan Wasser:
Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study. 97-115
- view
  authority control:
- export record
  dblp key:
  - conf/post/FalzonB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/FalzonB16
Kevin Falzon, Eric Bodden:
Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels. 116-138
- view
  authority control:
- export record
  dblp key:
  - conf/post/Amir-Mohammadian16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/Amir-Mohammadian16
Sepehr Amir-Mohammadian, Stephen Chong, Christian Skalka:
Correct Audit Logging: Theory and Practice. 139-162
- view
  authority control:
- export record
  dblp key:
  - conf/post/HermannsKKS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/HermannsKKS16
Holger Hermanns, Julia Krämer, Jan Krcál, Mariëlle Stoelinga:
The Value of Attack-Defence Diagrams. 163-185

Protocols

- view
  authority control:
- export record
  dblp key:
  - conf/post/BauerC016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/BauerC016
Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan:
Composing Protocols with Randomized Actions. 189-210
- view
  authority control:
- export record
  dblp key:
  - conf/post/CortierDD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/CortierDD16
Véronique Cortier, Antoine Dallon, Stéphanie Delaune:
Bounding the Number of Agents, for Equivalence Too. 211-232
- view
  authority control:
- export record
  dblp key:
  - conf/post/ModersheimB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/ModersheimB16
Sebastian Mödersheim, Alessandro Bruni:
AIF-ω: Set-Based Protocol Abstraction with Countable Families. 233-253
- view
  authority control:
- export record
  dblp key:
  - conf/post/ShaoQF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/ShaoQF16
Jianxiong Shao, Yu Qin, Dengguo Feng:
Computational Soundness Results for Stateful Applied π Calculus. 254-275

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.