Search for persons
X
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
1
Verified Security for the Morello Capability-enhanced Proto..:
, In:
?
2020 IEEE Symposium on Security and Privacy (SP) ,
2
Rigorous engineering for hardware security: Formal modellin..:
, In:
?
4
Composition and declassification in possibilistic informati..:
Copies:
Zentrale:Magazinturm E01 ts 5606
?
2017 IEEE Symposium on Security and Privacy (SP) ,
7