Completeness and decidability of converse PDL in the constructive type theory of Coq. - Christian Doczkal; Joachim Bard (CPP, 2018)

Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions. - Joachim Bard; Heiko Becker; Eva Darulova (FM, 2019)

Automatic and Incremental Repair for Speculative Information Leaks. - Joachim Bard; Swen Jacobs; Yakir Vizel (VMCAI (2), 2024)