Follow
Anton Christensen
Anton Christensen
PhD student at Aalborg University
Verified email at cs.aau.dk
Title
Cited by
Cited by
Year
Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code
BH Møller, JG Søndergaard, KS Jensen, MW Pedersen, TW Bøgedal, ...
Nordic Conference on Secure IT Systems, 192-211, 2021
2021
The system can't perform the operation now. Try again later.