Evaluation of anonymity and confidentiality protocols using theorem proving Tarek MhamdiOsman HasanSofiène Tahar OriginalPaper 20 June 2015 Pages: 265 - 286
Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation) Sagar ChakiArie GurfinkelOfer Strichman OriginalPaper 13 November 2015 Pages: 287 - 301
A zonotopic framework for functional abstractions Eric GoubaultSylvie Putot OriginalPaper 08 January 2016 Pages: 302 - 360