“Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification” has been recently accepted at USENIX Security. Thanks to my amazing co-athors Olive, Carter, Akira, Antigoni, and Nicolas! You can find our paper on arxiv and on eprint.