Skip to content

Sara Zain

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

2025–2025

Best venue rank

A

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
2025ESORICSFormally-Verified Security Against Forgery of Remote Attestation Using SSProve.Sara Zain, Jannik Mhn, Stefan Kpsell, Sebastian Ertel