Author:
Barthe Gilles,Crespo Juan Manuel,Kunz César
Publisher
Springer Berlin Heidelberg
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. WhyRel: an auto-active relational verifier;International Journal on Software Tools for Technology Transfer;2025-04-23
2. Sliver: A Scalable Slicing-Based Verification for Information Flow Security;IEEE Transactions on Dependable and Secure Computing;2025-01
3. Verifiable Security Policies for Distributed Systems;Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security;2024-12-02
4. Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties;Proceedings of the ACM on Programming Languages;2024-06-20
5. Automated Software Verification of Hyperliveness;Lecture Notes in Computer Science;2024