ETAPS 2019 (series) / POST 2019 (series) /
POST 2019 Program
This is the POST 2019 program - see the full program for ETAPS 2019 and all affiliated events.
Filter Program
Dates
Thu 11 Apr 2019
Rooms
MOON
Tracks
POST
Badges
Nothing to filter
Your Program
Nothing to filter
Thu 11 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 11 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:30 | |||
10:30 30mTalk | Foundations for Parallel Information Flow Control Runtime Systems POST Marco Vassena Chalmers University of Technology, Gary Soeller , Peter Amidon , Matthew Chan , John Renner University of California, San Diego, Deian Stefan University of California San Diego Link to publication | ||
11:00 30mTalk | A Formal Analysis of Timing Channel Security via Bucketing POST Link to publication | ||
11:30 30mTalk | A Dependently Typed Library for Static Information-Flow Control in Idris POST Simon Oddershede Gregersen Aarhus University, Søren Eller Thomsen Aarhus University, Aslan Askarov Aarhus University Link to publication | ||
12:00 30mTalk | Achieving Safety Incrementally with Checked C POST Andrew Ruef , Leonidas Lampropoulos University of Pennsylvania, Ian Sweet , David Tarditi , Michael Hicks University of Maryland, College Park Link to publication |
14:00 - 16:00 | |||
14:00 30mTalk | Wys*: A DSL for Verified Secure Multi-party Computations POST Aseem Rastogi Microsoft Research, Nikhil Swamy Microsoft Research, Michael Hicks University of Maryland, College Park Link to publication | ||
14:30 30mTalk | Generalised Differential Privacy for Text Document Processing POST Link to publication | ||
15:00 30mTalk | Symbolic verification of distance bounding protocols POST Link to publication | ||
15:30 30mTalk | On the formalisation of Σ-Protocols and Commitment Schemes POST Link to publication |
16:30 - 17:30 | |||
16:30 30mTalk | Orchestrating Layered Attestations POST John D. Ramsdell , Paul D. Rowe , Perry Alexander , Sarah Helble , Peter Loscocco , J. Aaron Pendergrass , Adam Petz Link to publication | ||
17:00 30mTalk | Verifying liquidity of Bitcoin contracts POST Link to publication |