Concepedia

Security Property Verification

Security Property Verification is a formal process within hardware security verification that establishes whether a hardware design conforms to specified security properties by systematically checking that the design's behavior adheres to predefined confidentiality, integrity, and availability requirements under adversarial conditions.

114

Publications

5.1K

Citations

322

Authors

120

Institutions

Publications per year

2017–2026

36

Parents

Publications

114

1–5 of 114

Authors

322

  1. YJ
    Yier Jin

    University of Central Florida, United States

    6 publications · 312 citations

    6

    h-index

  2. YM
    Yiorgos Makris

    The University of Texas at Dallas, United States

    6 publications · 295 citations

    6

    h-index

  3. RK
    Ryan Kastner

    University of California San Diego, United States

    5 publications · 245 citations

    5

    h-index

  4. PS
    Pramod Subramanyan

    Princeton University, United States

    5 publications · 179 citations

    5

    h-index

  5. WH
    Wei Hu

    Northwestern Polytechnical University, China

    5 publications · 236 citations

    5

    h-index

1–5 of 322

Institutions

120

  1. Centre National de la Recherche Scientifique

    Paris, France

    7 h-index

    18 publications

    1.1K citations

  2. Princeton University

    Princeton, United States

    6 h-index

    11 publications

    336 citations

  3. University of Central Florida

    Orlando, United States

    5 h-index

    11 publications

    307 citations

  4. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    5 h-index

    11 publications

    566 citations

  5. University of California, Berkeley

    Berkeley, United States

    5 h-index

    9 publications

    1.5K citations

  6. University of California San Diego

    San Diego, United States

    5 h-index

    17 publications

    896 citations

  7. The University of Texas at Dallas

    Richardson, United States

    4 h-index

    6 publications

    291 citations

  8. University of Florida

    Gainesville, United States

    4 h-index

    11 publications

    377 citations

1–8 of 120

Venues

  1. 4

    h-index

  2. Journal of Computer Security

    4 publications · 175 citations

    4

    h-index

  3. ACM SIGOPS Operating Systems Review

    3 publications · 471 citations

    3

    h-index

  4. 2

    h-index

  5. IACR Cryptology ePrint Archive

    Repository · 2 publications · 25 citations

    2

    h-index

1–5