Differences

This shows you the differences between two versions of the page.

--- public:papers:tpm_ches2024 [2024-01-27 10:29] – [A wide-scale study of security-relevant properties of TPM 2.0 chips [CHES 2024]] xjancar
+++ public:papers:tpm_ches2024 [2024-05-07 12:57] (current) – Fix bibtex xjancar
@@ Line 1: / Line 1: @@
-====== A wide-scale study of security-relevant properties of TPM 2.0 chips [CHES 2024]  ======
+====== TPMScan: A wide-scale study of security-relevant properties of TPM 2.0 chips [CHES 2024]  ======
 ~~NOTOC~~
@@ Line 6: / Line 6: @@
 <TEXT size="large">
-\_{{fa>user}}\_\_//Authors:// [[:publications:authors:petr-svenda|Petr Svenda]], [[:publications:authors:antonin-dufka|Antonin Dufka]],  [[:publications:authors:milan-broz|Milan Broz]], [[:publications:authors:roman-lacko|Roman Lacko]], Tomas Jaros, Daniel Zatovoc, Josef Pospisil
+\_{{fa>user}}\_\_//Authors:// [[:publications:authors:petr-svenda|Petr Svenda]], [[:publications:authors:antonin-dufka|Antonin Dufka]],  [[:publications:authors:milan-broz|Milan Broz]], [[:publications:authors:roman-lacko|Roman Lacko]], Tomas Jaros, Daniel Zatovic, Josef Pospisil
 {{fa>user-circle-o}}\_//Primary contact:// Petr Svenda %%<%%<svenda@fi.muni.cz>%%>%%
@@ Line 18: / Line 18: @@
 <TEXT align="right">
-<button type="warning" icon="fa fa-fw fa-file-pdf-o">[[https://crocs.fi.muni.cz/_media/publications/pdf/2023-cardis-javacard.pdf|PRE-PRINT PDF]]</button>
+<button type="warning" icon="fa fa-fw fa-file-pdf-o">[[https://tches.iacr.org/index.php/TCHES/article/view/11444/10949|PDF]]</button>
 \_
-<button icon="fa fa-fw fa-file-image-o">[[https://crocs.fi.muni.cz/_media/publications/pdf/2023-cardis-javacard_slides.pdf|Slides]]</button>
+<button icon="fa fa-fw fa-file-image-o">[[https://crocs.fi.muni.cz/_media/publications/pdf/2024-ches-tpmscan_slides.pdf|Slides (not yet)]]</button>
 \_
 <button collapse="bibtex" icon="fa fa-fw fa-file-code-o">BiBTeX</button>
@@ Line 28: / Line 28: @@
 <collapse id="bibtex" collapsed="false">
-FIXME
+  @inproceedings{2024-ches-tpmscan,
+     title = {TPMScan: A wide-scale study of security-relevant properties of TPM 2.0 chips},
-  @inproceedings{2024-ches-tpm2,
-     title = {A wide-scale study of security-relevant properties of TPM 2.0 chips},
      year = {2024},
-     author = {Svenda, Petr and Dufka, Antonin and Broz, Milan, and Lacko, Roman and Jaros, Tomas and Zatovic, Daniel and Pospisil, Josef},
+     author = {Svenda, Petr and Dufka, Antonin and Broz, Milan and Lacko, Roman and Jaros, Tomas and Zatovic, Daniel and Pospisil, Josef},
-     address = {xxx},
+     booktitle = {IACR Transactions on Cryptographic Hardware and Embedded Systems},
-     booktitle = {Proceedings of Conference on Cryptographic Hardware and Embedded Systems},
+     keywords = {TPM, common criteria, fips140, RSA, ECDSA},
-     doi = {xxx},
+     issn = {ISSN 2569-2925},
-     keywords = {TPM, common criteria, fips140, RSA, ECDSA}
+     pages = {714–734},
-     language = {eng},
+     volume={2024, No. 2},
-     location = {xx},
+     url={https://tches.iacr.org/index.php/TCHES/article/view/11444},
-     isbn = {xxx},
+     DOI={10.46586/tches.v2024.i2.714-734}
-     pages = {xx},
-     publisher = {xxx}
   }
 </collapse>
 <panel type="default" title="Abstract">
-FIXME
+he Trusted Platform Module (TPM) is a widely deployed computer component that provides increased protection of key material during cryptographic operations, secure storage, and support for a secure boot with a remotely attestable state of the target machine. A systematic study of the TPM ecosystem, its cryptographic properties, and the orderliness of vulnerability mitigation is missing despite its pervasive deployment – likely due to the black-box nature of the implementations. We collected metadata, RSA and ECC cryptographic keys, and performance characteristics from 78 different TPM versions manufactured by 6 vendors, including recent Pluton-based iTPMs, to systematically analyze TPM implementations.
+Surprisingly, a high rate of changes with a detectable impact on generated secrets, the timing of cryptographic operations, and frequent off-chip generation of Endorsement Keys were observed. Our analysis of public artifacts for TPM-related products certified under Common Criteria (CC) and FIPS 140 showed relatively high popularity of TPMs but without explanation for these changes in cryptographic implementations. Despite TPMs being commonly certified to CC EAL4+, serious vulnerabilities like ROCA or TPM-Fail were discovered in the past. We found a range of additional unreported nonce leakages in ECDSA, ECSCHNORR, and ECDAA algorithms in dTPMs and fTPMs of three vendors. The most serious discovered leakage allows extraction of the private key of certain Intel’s fTPM versions using only nine signatures with no need for any side-channel information, making the vulnerability retrospectively exploitable despite a subsequent firmware update. Unreported timing leakages were discovered in the implementations of ECC algorithms on multiple Nuvoton TPMs, and other previously reported leakages were confirmed. The analysis also unveiled incompleteness of vulnerability reporting and subsequent mitigation with missing clear information about the affected versions and inconsistent fixes.
 </panel>
 ===== Research artifacts (supplementary material) =====
-  * Preprint version of the paper: FIXME
+  * Slides from presentation:  (not yet, stay tuned Sept. 2024)
-  * Slides from presentation:  FIXME
+  * Paper artifact: [[https://github.com/crocs-muni/tpmscan-artifact | GitHub repository]]
-  * Analysis tool tpm2-algtest: [[https://github.com/crocs-muni/tpm2-algtest | Github repository]]
+  * Collected dataset: [[https://github.com/crocs-muni/tpmscan-dataset | GitHub repository]]
-  * Database of results: FIXME
+  * Instructions for TPM scanning: [[https://crocs.fi.muni.cz/tpm | instructions]]