Personensuche
X
?
2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P) ,
3
CHERI-TrEE: Flexible enclaves on capability machines:
, In:
?
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security ,
4
Formalizing, Verifying and Applying ISA Security Guarantees..:
, In:
?
2023 IEEE 36th Computer Security Foundations Symposium (CSF) ,
5
$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying ..:
, In:
?
2022 IEEE 35th Computer Security Foundations Symposium (CSF) ,
6
Proving full-system security properties under multiple atta..:
, In:
?
2021 IEEE 34th Computer Security Foundations Symposium (CSF) ,
12