POST

Keyphrases

Publications

2019

Natasha Fernandes, Mark Dras, Annabelle McIver
Generalised Differential Privacy for Text Document Processing. POST (2019)
Alexandre Debant, Stéphanie Delaune
Symbolic Verification of Distance Bounding Protocols. POST (2019)
Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, Michael Hicks
Achieving Safety Incrementally with Checked C. POST (2019)
Massimo Bartoletti, Roberto Zunino
Verifying Liquidity of Bitcoin Contracts. POST (2019)
Simon Oddershede Gregersen, Søren Eller Thomsen, Aslan Askarov
A Dependently Typed Library for Static Information-Flow Control in Idris. POST (2019)
John D. Ramsdell, Paul D. Rowe, Perry Alexander, Sarah Helble, Peter A. Loscocco, J. Aaron Pendergrass, Adam Petz
Orchestrating Layered Attestations. POST (2019)
David Butler, David Aspinall, Adrià Gascón
On the Formalisation of Σ-Protocols and Commitment Schemes. POST (2019)
Marco Vassena, Gary Soeller, Peter Amidon, Matthew Chan, John Renner, Deian Stefan
Foundations for Parallel Information Flow Control Runtime Systems. POST (2019)
Tachio Terauchi, Timos Antonopoulos
A Formal Analysis of Timing Channel Security via Bucketing. POST (2019)
Aseem Rastogi, Nikhil Swamy, Michael Hicks
Wys*: A DSL for Verified Secure Multi-party Computations. POST (2019)

volume 11426, 2019

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 POST 11426 (2019)

2018

volume 10804, 2018

Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings POST 10804 (2018)

2017

volume 10204, 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 POST 10204 (2017)

2016

volume 9635, 2016

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 POST 9635 (2016)