Merkliste 
 1 Ergebnisse 
 
1

Formal Foundations for SCONE Attestation:

, In: 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S),