Search for persons
X
?
2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P) ,
3
MicroProfiler: Principled Side-Channel Mitigation through M..:
, In:
?
Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security ,
4
ShowTime: Amplifying Arbitrary CPU Timing Side Channels:
, In:
?
2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P) ,
5
CHERI-TrEE: Flexible enclaves on capability machines:
, In:
?
2022 IEEE Symposium on Security and Privacy (SP) ,
7
Mind the Gap: Studying the Insecurity of Provably Secure Em..:
, In:
?
2022 IEEE 35th Computer Security Foundations Symposium (CSF) ,
9
Proving full-system security properties under multiple atta..:
, In:
?
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security ,
12
Aion: Enabling Open Systems through Strong Availability Gua..:
, In:
?
2021 IEEE 34th Computer Security Foundations Symposium (CSF) ,
13
CapablePtrs: Securely Compiling Partial Programs Using the ..:
, In:
?
2021 IEEE European Symposium on Security and Privacy (EuroS&P) ,
15