Search for persons
X
?
Proceedings of the IEEE/ACM 16th International Conference on Utility and Cloud Computing ,
4
LLD: A Last-Level Defense for Application Integrity and Con..:
, In:
?
2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) ,
5
Formal Foundations for SCONE Attestation:
, In:
?
2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) ,
6
Understanding Trust Assumptions for Attestation in Confiden..:
, In:
?
Formal Methods and Software Engineering; Lecture Notes in Computer Science ,
8
Formal Foundations for Intel SGX Data Center Attestation Pr..:
, In:
?
2020 23rd Euromicro Conference on Digital System Design (DSD) ,
9
Towards Formalization of Enhanced Privacy ID (EPID)-based R..:
, In:
?
2020 21st International Symposium on Quality Electronic Design (ISQED) ,
10
Comparative Framework for the Analysis of Thermal and Resou..:
, In:
?
Computer Performance Engineering; Lecture Notes in Computer Science ,
11
Performance Evaluation of Thermal-Constrained Scheduling St..:
, In:
?
Proceedings of the 14th ACM International Conference on Distributed and Event-based Systems ,
12