ConferencePaper
 (2020)

Trace-Relating Compiler Correctness and Secure Compilation

Abate, Carmine; Blanco, Roberto; Ciobaca, Stefan; Garg, Deepak; Hritcu, Catalin; Patrignani, Marco; TANTER, ÉRIC; Thibault, Jeremy

Más información

Editorial: Springer Verlag
Fecha de publicación: 2020
Página de inicio: 1
Página final: 28
URL: https://doi.org/10.1007/978-3-030-44914-8_1