Joachim Bard

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 4

Top Topics

Information Flow

Top Venues

Publications

Joachim Bard, Swen Jacobs, Yakir Vizel
Automatic and Incremental Repair for Speculative Information Leaks. VMCAI (2) (2024)
Joachim Bard, Swen Jacobs, Yakir Vizel
Automatic and Incremental Repair for Speculative Information Leaks. CoRR (2023)
Joachim Bard, Heiko Becker, Eva Darulova
Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions. FM (2019)
Christian Doczkal, Joachim Bard
Completeness and decidability of converse PDL in the constructive type theory of Coq. CPP (2018)