TOLLEC, Simon; HADŽI´C, Vedad; NASAHL, Pascal; ASAVOAE, Mihail; BLOEM, Roderick; COUROUSSÉ, Damien; HEYDEMANN, Karine; JAN, Mathieu; MANGARD, Stefan. Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults.
IACR Transactions on Cryptographic Hardware and Embedded Systems,
[S. l.], v. 2024, n. 4, p. 179–204, 2024.
DOI: 10.46586/tches.v2024.i4.179-204. Disponível em: https://tosc.iacr.org/index.php/TCHES/article/view/11788.. Acesso em: 23 jan. 2025.