Author:
Blanchard Allan,Kosmatov Nikolai,Loulergue Frederic
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Analysis of crypto module in RIOT OS using Frama-C;The Journal of Supercomputing;2024-05-18
2. Exploring Frama-C Resources by Verifying Space Software;Computer Science Foundations and Applied Logic;2024
3. Exploring the Potential of Frama-C in IoT Static Analysis;Proceedings of the Twenty-fourth International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing;2023-10-16
4. A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations;Proceedings of the ACM on Programming Languages;2023-04-06
5. Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27