Sara Zain

According to our database, Sara Zain authored at least 2 papers between 2021 and 2025.

Collaborative distances:

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

2025

Formally-Verified Security Against Forgery of Remote Attestation Using SSProve.

Sara Zain, Jannik Mähn, Stefan Köpsell, Sebastian Ertel

Proceedings of the Computer Security - ESORICS 2025, 2025

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