1. Evaluation of anonymity and confidentiality protocols using theorem proving

   • Tarek Mhamdi
   • Osman Hasan
   • Sofiène Tahar

   OriginalPaper 20 June 2015 Pages: 265 - 286

   

2. Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)

   • Sagar Chaki
   • Arie Gurfinkel
   • Ofer Strichman

   OriginalPaper 13 November 2015 Pages: 287 - 301

   

3. A zonotopic framework for functional abstractions

   • Eric Goubault
   • Sylvie Putot

   OriginalPaper 08 January 2016 Pages: 302 - 360