Formally Verified Verifiable Group Generators. - Mina A. Cyrus; Mukesh Tiwari (FSEN, 2025)