Author:
Askarov Aslan,Sabelfeld Andrei
Cited by
90 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Language-Based Security for Low-Level MPC;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
2. Metadata Privacy Beyond Tunneling for Instant Messaging;2024 IEEE 9th European Symposium on Security and Privacy (EuroS&P);2024-07-08
3. Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15
4. Tainted Secure Multi-Execution to Restrict Attacker Influence;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15
5. Security Verification of Low-Trust Architectures;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15