Seguir
Anton Christensen
Anton Christensen
PhD student at Aalborg University
Dirección de correo verificada de cs.aau.dk
Título
Citado por
Citado por
Año
Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code
BH Møller, JG Søndergaard, KS Jensen, MW Pedersen, TW Bøgedal, ...
Secure IT Systems: 26th Nordic Conference, NordSec 2021, Virtual Event …, 2021
22021
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.