Sara Zain

According to our database, Sara Zain authored at least 1 paper in 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Machine-Checking Unforgeability Proofs for Signature Schemes with Tight Reductions to the Computational Diffie-Hellman Problem.

François Dupressoir, Sara Zain

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021