Author:
Chen Juan,Chugh Ravi,Swamy Nikhil
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Structured Leakage and Applications to Cryptographic Constant-Time and Cost;Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security;2021-11-12
2. Certifying the synthesis of heap-manipulating programs;Proceedings of the ACM on Programming Languages;2021-08-22
3. Logical bytecode reduction;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
4. Liquid information flow control;Proceedings of the ACM on Programming Languages;2020-08-02
5. Formal verification of a constant-time preserving C compiler;Proceedings of the ACM on Programming Languages;2020-01