Workshop Paper Accepted at PriSC (POPL 2025)

I am excited to share that our paper, “Counter Examples in Safe Rust”, has been accepted to the Principles of Secure Compilation (PriSC) 2025 workshop, co-located with POPL 2025! 🎉

You can access the paper here:
Counter Examples in Safe Rust (PDF)

This post will be updated with slides and pictures following the talk on January 20th, 2025, at PriSC 2025. Stay tuned!