Automated Proof for Quadratic Functional Encryption: Finding Attacks and New Constructions. - Geng Wang; Ruoyi Kong; Dawu Gu (IACR Cryptol. ePrint Arch., 2025)