Affiliation:
1. Stevens Institute of Technology, USA
2. CEA LIST, France
3. CentraleSupélec, France
Funder
National Science Foundation
Agence Nationale de la Recherche
Commissariat à l'Énergie Atomique et aux Énergies Alternatives
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Sound Abstract Nonexploitability Analysis;Lecture Notes in Computer Science;2023-12-30
2. A Product of Shape and Sequence Abstractions;Static Analysis;2023
3. Constraint-Based Relational Verification;Computer Aided Verification;2021
4. Relational Symbolic Execution;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
5. Statically analyzing information flows;Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing;2019-04-08