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

CoRR, February, 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