Folgen
Anton Christensen
Anton Christensen
PhD student at Aalborg University
Bestätigte E-Mail-Adresse bei cs.aau.dk
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.