Concepedia

Processor Security Verification

Processor Security Verification is a formal methodology within hardware security verification that specifically ensures processor designs enforce intended security properties by detecting and mitigating vulnerabilities in their microarchitectural and logical implementations.

33

Publications

1.5K

Citations

102

Authors

45

Institutions

Publications per year

2017–2026

13

Parents

Publications

33

Building the IBM 4758 secure coprocessor

Joan L. Dyer, Margit Lindemann, R. Perez et al. · Computer · 2001 · 281 citations

, , +17

Efficient memory integrity verification and encryption for secure processors

G. Edward Suh, Dwaine Clarke, Blaise Gassend et al. · 2003 · 213 citations

, , +17

Efficient memory integrity verification and encryption for secure processors

G. Edward Suh, Dwaine Clarke, B. Gasend et al. · 2004 · 151 citations

, , +17

Hardware-Assisted Circumvention of Self-Hashing Software Tamper Resistance

Paul C. van Oorschot, Anil Somayaji, Glenn Wurster · IEEE Transactions on Professional Communication · 2005 · 65 citations

, , +11

Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis

Andrew Ferraiuolo, Rui Xu, Danfeng Zhang et al. · 2017 · 61 citations · Full text

, , +17

1–5 of 33

Authors

102

  1. GE
    G. Edward Suh

    Cornell University, United States

    4 publications · 442 citations

    4

    h-index

  2. RZ
    Rui Zhang

    University of North Carolina at Chapel Hill, United States

    3 publications · 97 citations

    3

    h-index

  3. AR
    Alastair Reid

    ARM (United Kingdom), United Kingdom

    3 publications · 102 citations

    3

    h-index

  4. SD
    Srinivas Devadas

    Massachusetts Institute of Technology, United States

    3 publications · 394 citations

    3

    h-index

  5. CS
    Cynthia Sturton

    University of North Carolina at Chapel Hill, United States

    3 publications · 97 citations

    3

    h-index

1–5 of 102

Institutions

45

  1. American Rock Mechanics Association

    Alexandria, United States

    3 h-index

    3 publications

    116 citations

  2. ARM (United Kingdom)

    Cambridge, United Kingdom

    3 h-index

    3 publications

    102 citations

  3. Stanford University

    Stanford, United States

    3 h-index

    3 publications

    107 citations

  4. University of Central Florida

    Orlando, United States

    2 h-index

    2 publications

    67 citations

  5. University of North Carolina at Chapel Hill

    Chapel Hill, United States

    2 h-index

    10 publications

    215 citations

  6. Vrije Universiteit Amsterdam

    Amsterdam, The Netherlands

    2 h-index

    2 publications

    36 citations

  7. Naval Postgraduate School

    Monterey, United States

    2 h-index

    7 publications

    311 citations

  8. University of Alabama in Huntsville

    Huntsville, United States

    2 h-index

    5 publications

    134 citations

1–8 of 45

Venues

  1. IEEE Transactions on Computers

    2 publications · 58 citations

    2

    h-index

  2. ACM SIGARCH Computer Architecture News

    2 publications · 45 citations

    2

    h-index

  3. Journal of Computer Security

    1 publications · 15 citations

    1

    h-index

  4. 1

    h-index

  5. Proceedings of the ACM on Programming Languages

    PACMPL · 1 publications · 17 citations

    1

    h-index

1–5