Suivre
Anton Christensen
Anton Christensen
PhD student at Aalborg University
Adresse e-mail validée de cs.aau.dk
Titre
Citée par
Citée par
Année
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.