Cited By
View all- Cho KKim JDuy KLim HLee HBalzarotti DXu W(2024)RUSTSANProceedings of the 33rd USENIX Conference on Security Symposium10.5555/3698900.3699109(3729-3746)Online publication date: 14-Aug-2024
- Li HGuo LYang YWang SXu MBagchi SZhang Y(2024)An empirical study of rust-for-LinuxProceedings of the 2024 USENIX Conference on Usenix Annual Technical Conference10.5555/3691992.3692019(425-443)Online publication date: 10-Jul-2024
- Hassnain MStanford CFilkov VRay BZhou M(2024)Counterexamples in Safe RustProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops10.1145/3691621.3694943(128-135)Online publication date: 27-Oct-2024
- Show More Cited By