Presentation at HCSE-CS (ASE 2024)
I presented my paper, “Counter Examples in Safe Rust,” at the Human-Centered Software Engineering and Computer Science (HCSE-CS) track, part of ASE 2024. This paper explores counterexamples in safe rust that demonstrates that it is possible to break memory safety of Rust using safe code and existing tools do not flag these attack patterns.
It was an honor to share this work with the community and engage in thought-provoking discussions with researchers and practitioners in the field.