3 ms·Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model3 points by sbulaev 3mo ago