Machine-Checking Unforgeability Proofs for Signature Schemes with Tight Reductions to the Computational Diffie-Hellman Problem. - François Dupressoir; Sara Zain (CSF, 2021)

Formally-verified Security against Forgery of Remote Attestation using SSProve. - Sara Zain; Jannik Mähn; Stefan Köpsell; Sebastian Ertel (CoRR, 2025)