APA-Zitierstil (7. Ausg.)

Zain, S., Mähn, J., Köpsell, S., & Ertel, S. (2025). Formally-verified Security against Forgery of Remote Attestation using SSProve.

Chicago-Zitierstil (17. Ausg.)

Zain, Sara, Jannik Mähn, Stefan Köpsell, und Sebastian Ertel. Formally-verified Security Against Forgery of Remote Attestation Using SSProve. 2025.

MLA-Zitierstil (9. Ausg.)

Zain, Sara, et al. Formally-verified Security Against Forgery of Remote Attestation Using SSProve. 2025.