Trusted Platform Module Verification

Trusted Platform Module Verification is a hardware security validation process that formally assures the conformance and correct implementation of a Trusted Platform Module to its architectural and cryptographic specifications, distinguishing it from general hardware verification by its focus on security-critical trusted computing functionalities.

9

Publications

260

Citations

29

Authors

19

Institutions

Publications per year

2017–2026

2

Variants

Tpm Verification

Authors

29

  1. PM
    Patrick McDaniel

    Pennsylvania State University, United States

    2 publications · 35 citations

    2

    h-index

  2. KB
    Kevin Butler

    University of Florida, United States

    2 publications · 35 citations

    2

    h-index

  3. JS
    Joshua Schiffman

    Pennsylvania State University, United States

    2 publications · 35 citations

    2

    h-index

  4. TJ
    Trent Jaeger

    Pennsylvania State University, United States

    2 publications · 35 citations

    2

    h-index

  5. TM
    Thomas Moyer

    Pennsylvania State University, United States

    2 publications · 35 citations

    2

    h-index

1–5 of 29

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 14 citations

    1

    h-index

  2. Computers & Security

    1 publications · 14 citations

    1

    h-index

  3. Connection Science

    1 publications · 32 citations

    1

    h-index

  4. The Computer Journal

    1 publications · 17 citations

    1

    h-index

  5. IEEE Transactions on Computers

    1 publications · 12 citations

    1

    h-index

1–5