Browsing by Author "Durier, Adrien"

Now showing items 1-1 of 1

Artículo

Trace-Relating Compiler Correctness and Secure Compilation

Abate, Carmine; Blanco, Roberto; Ciobâca, Stefan; Durier, Adrien; Garg, Deepak; Hritcu, Catalin; Patrignani, Marco; Tanter, Eric Pierre; Thibault, Jérémy (Springer, 2020)