ETAPS 2014: 5-13 April 2014, Grenoble, France

POST 2014 programme

Monday, April 7th
10h30 - 12h30 POST / Room: Makalu
Analysis of Cryptographic Protocols (chair: Steve Kremer)
  • David Baelde, Stéphanie Delaune and Lucca Hirschi. A Reduced Semantics for Deciding Trace Equivalence using Constraint Systems
  • Myrto Arapinis, Jia Liu, Eike Ritter and Mark Ryan. Stateful Applied Pi Calculus
  • Michael Backes, Esfandiar Mohammadi and Tim Ruffing. Computational Soundness Results for ProVerif: Bridging the Gap from Trace Properties to Uniformity
  • David Lubicz, Graham Steel and Marion Daubignard. A Secure Key Management Interface with Asymmetric Cryptography
14h00 - 16h00 POST / Room: Makalu
Quantitative Aspects of Information Flow (chair: Catuscia Palamidessi)
  • Annabelle McIver, Carroll Morgan, Geoffrey Smith, Barbara Espinoza and Larissa Meinicke. Abstract Channels and their Robust Information-leakage Ordering (nomination for best paper award)
  • Rohit Chadha, Dileep Kini and Mahesh Viswanathan. Quantitative Information Flow in Boolean Programs
  • Mario S. Alvim, Fred B. Schneider and Andre Scedrov. When not All Bits are Equal: Worth-based Information Flow
  • Florian Arnold, Holger Hermanns, Reza Pulungan and Marielle I A Stoelinga. Time-Dependent Analysis of Attacks
16h30 - 18h00 POST / Room: Makalu
Information Flow Control in Programming Languages (chair: Pierpaolo Degano)
  • Abhishek Bichhawat, Vineet Rajani, Deepak Garg and Christian Hammer. Information Flow Control in WebKit’s JavaScript Bytecode
  • David Costanzo and Zhong Shao. A Separation Logic for Enforcing Declarative Information Flow Control Policies
  • Jed Liu and Andrew Myers. Defining and Enforcing Referential Security
Tuesday, April 8th
14h00 - 15h00 Room: Amphitheater
POST Invited Speaker (chair: Martín Abadi)
David Mazières (Stanford University, US)
Security and the Average Programmer
15h00 - 16h00 POST / Room: Cervin
Cryptography in Implementations (chair: Riccardo Focardi)
  • Ralf Kuesters, Enrico Scapin, Tomasz Truderung and Juergen Graf. Extending and Applying a Framework for the Cryptographic Verification of Java Programs
  • Manuel Barbosa, David Castro and Paulo Silva. Compiling CAO: from Cryptographic Specifications to C Implementations
16h30 - 18h00 POST / Room: Cervin
Policies and Attacks (chair: Andrew Myers)
  • Gilles Barthe, Boris Köpf, Laurent Mauborgne and Martin Ochoa. Leakage Resilience against Concurrent Cache Attacks (nomination for best paper award)
  • Michael Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe and Cesar Sanchez. Temporal Logics for Hyperproperties
  • Petar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti and David Basin. Decentralized Composite Access Control