default search action

combined dblp search
author search
venue search
publication search

ask others

8th POST@ETAPS 2019: Prague, Czech Republic

> 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
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/post/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/2019
Flemming Nielson, David Sands:
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. Lecture Notes in Computer Science 11426, Springer 2019, ISBN 978-3-030-17137-7
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/post/VassenaSACRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/VassenaSACRS19
Marco Vassena, Gary Soeller, Peter Amidon, Matthew Chan, John Renner, Deian Stefan:
Foundations for Parallel Information Flow Control Runtime Systems. 1-28
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/post/TerauchiA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/TerauchiA19
Tachio Terauchi, Timos Antonopoulos:
A Formal Analysis of Timing Channel Security via Bucketing. 29-50
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/post/GregersenTA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/GregersenTA19
Simon Oddershede Gregersen, Søren Eller Thomsen, Aslan Askarov:
A Dependently Typed Library for Static Information-Flow Control in Idris. 51-75
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/post/RuefLSTH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/RuefLSTH19
Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, Michael Hicks:
Achieving Safety Incrementally with Checked C. 76-98
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/post/RastogiSH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/RastogiSH19
Aseem Rastogi, Nikhil Swamy, Michael Hicks:
Wys*: A DSL for Verified Secure Multi-party Computations. 99-122
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/post/FernandesDM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/FernandesDM19
Natasha Fernandes, Mark Dras, Annabelle McIver:
Generalised Differential Privacy for Text Document Processing. 123-148
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/post/DebantD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/DebantD19
Alexandre Debant, Stéphanie Delaune:
Symbolic Verification of Distance Bounding Protocols. 149-174
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/post/ButlerAG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/ButlerAG19
David Butler, David Aspinall, Adrià Gascón:
On the Formalisation of Σ-Protocols and Commitment Schemes. 175-196
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/post/RamsdellRAHLPP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/RamsdellRAHLPP19
John D. Ramsdell, Paul D. Rowe, Perry Alexander, Sarah Helble, Peter A. Loscocco, J. Aaron Pendergrass, Adam Petz:
Orchestrating Layered Attestations. 197-221
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/post/BartolettiZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/BartolettiZ19
Massimo Bartoletti, Roberto Zunino:
Verifying Liquidity of Bitcoin Contracts. 222-247

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.