Joachim Bard

Affiliations:
  • CISPA Helmholtz Center for Information Security, Saarbrücken, Germany


According to our database1, Joachim Bard authored at least 3 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Automatic and Incremental Repair for Speculative Information Leaks.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2019
Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018
Completeness and decidability of converse PDL in the constructive type theory of Coq.
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018


  Loading...