▲ 3 pointsCertified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Modelarxiv.orgby sbulaev·18d ago·0 comments·view on hn ↗