Author:
Baranowski Marek,He Shaobo,Rakamarić Zvonimir
Publisher
Springer International Publishing
Reference14 articles.
1. Balasubramanian, A., Baranowski, M.S., Burtsev, A., Panda, A., Rakamarić, Z., Ryzhyk, L., et al.: System programming in rust: beyond safety. In: HotOS (2017)
2. Barnett, M., Chang, B.-Y.E., DeLine, R., Jacobs, B., Leino, K.R.M.: Boogie: a modular reusable verifier for object-oriented programs. In: FMCO (2005)
3. Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB standard: Version 2.0. In: SMT (2010)
4. Cross-platform Rust rewrite of the GNU coreutils. https://github.com/uutils/coreutils
5. de Moura, L.M., Bjørner, N.: Z3: an efficient SMT solver. In: TACAS (2008)
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Closer Look at the Security Risks in the Rust Ecosystem;ACM Transactions on Software Engineering and Methodology;2023-12-21
2. Atmosphere: Towards Practical Verified Kernels in Rust;Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification;2023-10-23
3. Comprehensiveness, Automation and Lifecycle: A New Perspective for Rust Security;2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS);2022-12
4. Verifying dynamic trait objects in rust;Proceedings of the 44th International Conference on Software Engineering: Software Engineering in Practice;2022-05-21
5. Verifying Dynamic Trait Objects in Rust;2022 IEEE/ACM 44th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP);2022-05