학술논문
Automatic and Incremental Repair for Speculative Information Leaks
Document Type
Conference Paper
Author
Source
In: Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14500 LNCS:291-313)
Subject
Language
English
ISSN
16113349
03029743
03029743