Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification

Carter Luck, University of Massachusetts, Amherst; Olive Franzese-McLaughlin, University of Toronto and Vector Institute; Elisaweta Masserova, Carnegie Mellon University; Akira Takahashi and Antigoni Polychroniadou, J.P. Morgan Chase AI Research and AlgoCRYPT CoE; Nicolas Papernot, University of Toronto and Vector Institute