Semi-Automated Verification of Interior Unsafe Code Encapsulation in Real-World Rust Systems

Zihao Rao

Published in 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024), 2024