1. System-Level Non-interference of Constant-Time Cryptography. Part I: Model

   • Gilles Barthe
   • Gustavo Betarte
   • Carlos Luna

   OriginalPaper 30 November 2017 Pages: 1 - 51

   

2. Automatic Refinement to Efficient Data Structures: A Comparison of Two Approaches

   • Peter Lammich
   • Andreas Lochbihler

   OriginalPaper 22 March 2018 Pages: 53 - 94

3. On the Generation of Quantified Lemmas

   • Gabriel Ebner
   • Stefan Hetzl
   • Daniel Weller

   OriginalPaper Open access 23 March 2018 Pages: 95 - 126

   

4. Long-Distance Q-Resolution with Dependency Schemes

   • Tomáš Peitl
   • Friedrich Slivovsky
   • Stefan Szeider

   OriginalPaper Open access 09 June 2018 Pages: 127 - 155