Search for persons
X
?
2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P) ,
2
CHERI-TrEE: Flexible enclaves on capability machines:
, In:
?
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security ,
4
POSTER: An Open-Source Framework for Developing Heterogeneo..:
, In:
?
2020 IEEE 33rd Computer Security Foundations Symposium (CSF) ,
5
Provably Secure Isolation for Interruptible Enclaved Execut..:
, In:
?
Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems ,
7
FRP IoT modules as a Scala DSL:
, In:
?
Companion Proceedings of the 15th International Conference on Modularity ,
9