Подписаться
Anton Christensen
Anton Christensen
PhD student at Aalborg University
Подтвержден адрес электронной почты в домене cs.aau.dk
Название
Процитировано
Процитировано
Год
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
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.