Joachim Bard

International Conference on Verification Model Checking and Abstract Interpretation (VMCAI) Automatic and Incremental Repair for Speculative Information Leaks.

Formal Methods (FM) Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions.