追蹤
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
系統目前無法執行作業，請稍後再試。