Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-1 av 1

1 Bursuc, Sergiu; Johansen, Christian; Xu, Shiwei.
Automated verification of dynamic root of trust protocols. Lecture Notes in Computer Science (LNCS) 2017 ;Volum 10204 LNCS. s. 95-116
UiO Untitled