Witnessing Secure Compilation

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-39322-9_1 ◽

2020 ◽

pp. 1-22

Author(s):

Kedar S. Namjoshi ◽

Lucas M. Tabajara

Download Full-text