%0 Conference Paper %1 conf/ifm/ZianiKLPB23 %A Ziani, Yani %A Kosmatov, Nikolai %A Loulergue, Frédéric %A Pérez, Daniel Gracia %A Bernier, Téo %B iFM %D 2023 %E Herber, Paula %E Wijs, Anton %I Springer %K dblp %P 93-112 %T Towards Formal Verification of a TPM Software Stack. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2023.html#ZianiKLPB23 %V 14300 %@ 978-3-031-47705-8

@inproceedings{conf/ifm/ZianiKLPB23, added-at = {2023-12-10T00:00:00.000+0100}, author = {Ziani, Yani and Kosmatov, Nikolai and Loulergue, Frédéric and Pérez, Daniel Gracia and Bernier, Téo}, biburl = {https://www.bibsonomy.org/bibtex/2bb3f36949501058438d1630b4cea9da1/dblp}, booktitle = {iFM}, crossref = {conf/ifm/2023}, editor = {Herber, Paula and Wijs, Anton}, ee = {https://doi.org/10.1007/978-3-031-47705-8_6}, interhash = {80b7f70acd2234f0f84f7e6b314eba6c}, intrahash = {bb3f36949501058438d1630b4cea9da1}, isbn = {978-3-031-47705-8}, keywords = {dblp}, pages = {93-112}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:46:15.000+0200}, title = {Towards Formal Verification of a TPM Software Stack.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2023.html#ZianiKLPB23}, volume = 14300, year = 2023 }