Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Jeremy Thibault"'
Autor:
Akram El-Korashy, Roberto Blanco, Jeremy Thibault, Adrien Durier, Deepak Garg, Catalin Hritcu
Publikováno v:
2022 IEEE 35th Computer Security Foundations Symposium
Proving secure compilation of partial programs typically requires back-translating an attack against the compiled program to an attack against the source program. To prove back-translation, one can syntactically translate the target attacker to a sou
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e7fa67dc050bdddff74c88164526e4f5
https://hdl.handle.net/21.11116/0000-0009-B271-E21.11116/0000-0009-B26F-2
https://hdl.handle.net/21.11116/0000-0009-B271-E21.11116/0000-0009-B26F-2