Merkliste 
 1 Ergebnisse 
 
1

Root-of-Trust Abstractions for Symbolic Analysis: Applicati..:

, In: Security and Trust Management; Lecture Notes in Computer Science,