Automatic and Incremental Repair for Speculative Information Leaks

von Bard, Joachim
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking, and abstract interpretation ; Part 2 (2024)

Verification, model checking, and abstract interpretation : 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021 : proceedings

Veröffentlicht 2021

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings

Verifying Verified Code

von Priya, Siddharth
Veröffentlicht in ATVA (19. : 2021 : Online) Automated Technology for Verification and Analysis (2021)

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings

Veröffentlicht 2022

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings

Veröffentlicht 2022