Merkliste 
 1 Ergebnisse 
 
1

Formal Foundations for Intel SGX Data Center Attestation Pr..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,