Search for persons
X
?
Proceedings of the 19th ACM Asia Conference on Computer and Communications Security ,
1
Beyond Over-Protection: A Targeted Approach to Spectre Miti..:
, In:
?
2023 Formal Methods in Computer-Aided Design (FMCAD) ,
4
Formal Verification of Correctness and Information Flow Sec..:
, In:
?
The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science ,
6
A Case Study in Information Flow Refinement for Low Level S..:
, In:
?
Service-Oriented and Cloud Computing; Lecture Notes in Computer Science ,
8
Secure Partitioning of Composite Cloud Applications:
, In:
?
Proceedings of the 5th International Workshop on P4 in Europe ,
9
HOL4P4 : semantics for a verified data plane:
, In:
?
2022 Formal Methods in Computer-Aided Design (FMCAD) ,
10
Foundations and Tools in HOL4 for Analysis of Microarchitec..:
, In:
?
?
2022 IEEE International Symposium on Secure and Private Execution Environment Design (SEED) ,
12
SoK: Confidential Quartet - Comparison of Platforms for Vir..:
, In:
?
2021 IEEE 34th Computer Security Foundations Symposium (CSF) ,
15