Author:
Askarov Aslan,Chong Stephen,Mantel Heiko
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Metadata Privacy Beyond Tunneling for Instant Messaging;2024 IEEE 9th European Symposium on Security and Privacy (EuroS&P);2024-07-08
2. OblivIO: Securing Reactive Programs by Oblivious Execution with Bounded Traffic Overheads;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07
3. Compositional noninterference on hardware weak memory models;Science of Computer Programming;2022-05
4. Gradual Security Types and Gradual Guarantees;2021 IEEE 34th Computer Security Foundations Symposium (CSF);2021-06
5. Backwards-directed information flow analysis for concurrent programs;2021 IEEE 34th Computer Security Foundations Symposium (CSF);2021-06