Write a Blog >>
TACAS 2019
Mon 8 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
ETAPS 2019 (series) / TACAS 2019 (series) / Orea Hotel Pyramida /

Room information: MOON

VenueOrea Hotel Pyramida
Room nameMOON
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 11 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:30
Covert Channels and Information FlowPOST at MOON
10:30
30m
Talk
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
30m
Talk
A Formal Analysis of Timing Channel Security via Bucketing
POST
Tachio Terauchi Waseda University, Timos Antonopoulos Yale University
Link to publication
11:30
30m
Talk
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
30m
Talk
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
Privacy and ProtocolsPOST at MOON
14:00
30m
Talk
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
30m
Talk
Generalised Differential Privacy for Text Document Processing
POST
Natasha Fernandes , Mark Dras , Annabelle McIver Macquarie University
Link to publication
15:00
30m
Talk
Symbolic verification of distance bounding protocols
POST
Alexandre Debant , Stephanie Delaune
Link to publication
15:30
30m
Talk
On the formalisation of Σ-Protocols and Commitment Schemes
POST
David Butler , David Aspinall , Adria Gascon
Link to publication
16:30 - 17:30
Distributed SystemsPOST at MOON
16:30
30m
Talk
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
30m
Talk
Verifying liquidity of Bitcoin contracts
POST
Massimo Bartoletti , Roberto Zunino
Link to publication

Thu 11 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
MOON

POST

Covert Channels and Information Flow

POST

Privacy and Protocols

POST

Distributed Systems

Thu 11 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
MOON
POST
Foundations for Parallel Information Flow Control Runtime Systems
10:30 - 11:00
POST
A Formal Analysis of Timing Channel Security via Bucketing
11:00 - 11:30
POST
A Dependently Typed Library for Static Information-Flow Control in Idris
11:30 - 12:00
POST
Achieving Safety Incrementally with Checked C
12:00 - 12:30
POST
Wys*: A DSL for Verified Secure Multi-party Computations
14:00 - 14:30
POST
Generalised Differential Privacy for Text Document Processing
14:30 - 15:00
POST
Symbolic verification of distance bounding protocols
15:00 - 15:30
POST
On the formalisation of Σ-Protocols and Commitment Schemes
15:30 - 16:00
POST
Orchestrating Layered Attestations
16:30 - 17:00
POST
Verifying liquidity of Bitcoin contracts
17:00 - 17:30