Concepedia

Microarchitectural Security Verification

Microarchitectural Security Verification is a formal methodology within hardware security verification that specifically ensures the absence of security vulnerabilities in the microarchitectural design of a processor by rigorously analyzing its transient execution behaviors, data forwarding mechanisms, and resource sharing policies against defined security properties.

65

Publications

2.4K

Citations

214

Authors

91

Institutions

Publications per year

2017–2026

27

Parents

Publications

65

seL4: From General Purpose to a Proof of Information Flow Enforcement

Toby Murray, Daniel Matichuk, Matthew Brassil et al. · 2013 · 204 citations · Full text

, , +17

A Hardware Design Language for Timing-Sensitive Information-Flow Security

Danfeng Zhang, Yao Wang, G. Edward Suh et al. · 2015 · 143 citations

, , +17

RockSalt

Greg Morrisett, Gang Tan, Joseph Tassarotti et al. · 2012 · 136 citations

, , +10

A Formal Foundation for Secure Remote Execution of Enclaves

Pramod Subramanyan, Rohit Sinha, Srinivas Devadas et al. · 2017 · 113 citations

, , +16

A Hardware Design Language for Timing-Sensitive Information-Flow Security

Danfeng Zhang, Yao Wang, G. Edward Suh et al. · ACM SIGPLAN Notices · 2015 · 85 citations

, , +17

1–5 of 65

Authors

214

  1. GE
    G. Edward Suh

    Cornell University, United States

    6 publications · 338 citations

    6

    h-index

  2. AC
    Andrew C. Myers

    Cornell University, United States

    5 publications · 321 citations

    5

    h-index

  3. DZ
    Danfeng Zhang

    Pennsylvania State University, United States

    4 publications · 309 citations

    4

    h-index

  4. CB
    Christoph Baumann

    KTH Royal Institute of Technology, Sweden

    3 publications · 116 citations

    3

    h-index

  5. YJ
    Yier Jin

    University of Central Florida, United States

    2 publications · 67 citations

    2

    h-index

1–5 of 214

Institutions

91

  1. Cornell University

    Ithaca, United States

    7 h-index

    23 publications

    1.4K citations

  2. Intel (United States)

    Santa Clara, United States

    3 h-index

    8 publications

    266 citations

  3. Stanford University

    Stanford, United States

    3 h-index

    3 publications

    94 citations

  4. Tsinghua University

    Beijing, China

    3 h-index

    6 publications

    291 citations

  5. University of California, Berkeley

    Berkeley, United States

    3 h-index

    6 publications

    394 citations

  6. KTH Royal Institute of Technology

    Stockholm, Sweden

    3 h-index

    9 publications

    589 citations

  7. Yale University

    New Haven, United States

    3 h-index

    6 publications

    175 citations

  8. IMDEA Software Institute

    Pozuelo de Alarcón, Spain

    2 h-index

    3 publications

    92 citations

1–8 of 91

Venues

  1. arXiv (Cornell University)

    Repository · 3 publications · 90 citations

    3

    h-index

  2. ACM SIGPLAN Notices

    2 publications · 104 citations

    2

    h-index

  3. IEEE Micro

    2 publications · 56 citations

    2

    h-index

  4. Microprocessors and Microsystems

    MICPRO · 1 publications · 19 citations

    1

    h-index

  5. IEEE Access

    1 publications · 41 citations

    1

    h-index

1–5