Author:
Rakamarić Zvonimir,Emmi Michael
Publisher
Springer International Publishing
Cited by
110 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. UnsafeCop: Towards Memory Safety for Real-World Unsafe Rust Code with Practical Bounded Model Checking;Lecture Notes in Computer Science;2024-09-13
2. Towards Efficient Verification of Constant-Time Cryptographic Implementations;Proceedings of the ACM on Software Engineering;2024-07-12
3. SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3;2024-04-27
4. Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust;Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice;2024-04-14
5. RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12