Towards Formal Verification of a TPM Software Stack: Companion Artifact for the Paper Published at iFM 2023
- ZIANI Yani
- Kosmatov Nikolai
- Loulergue Frédéric
- Gracia Perez Daniel
- Bernier Téo
Publication date
August 2023
DOIAbstract
This artifact aims to support and reproduce the verification results of the paper "Towards Formal Verification of a TPM Software Stack" by Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez, and Téo Bernier, and should be cited as Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez, and Téo Bernier. "Towards Formal Verification of a TPM Software Stack: Companion Artifact for the Paper Published at iFM 2023"
Add to ORKG