Concepedia

Specification-based Vulnerability Detection

Specification-Based Vulnerability Detection is a methodological approach within software vulnerability discovery that identifies security flaws by systematically verifying program behavior against formally defined specifications to detect deviations indicative of vulnerabilities.

26

Publications

2.1K

Citations

83

Authors

34

Institutions

Publications per year

2017–2026

10

Parents

Publications

26

Finding security vulnerabilities in java applications with static analysis

V. Benjamin Livshits, Monica S. Lam · 2005 · 583 citations

, , +17

Execution monitoring of security-critical programs in distributed systems: a specification-based approach

Calvin Ko, Manfred Ruschitzka, Karl Levitt · 2002 · 327 citations

, , +17

Automated detection of vulnerabilities in privileged programs by execution monitoring

Calvin Ko, G. Fink, Karl Levitt · 2002 · 209 citations

, , +17

Automatic generation of XSS and SQL injection attacks with goal-directed model checking

Michael C. Martin, Monica S. Lam · 2008 · 136 citations

, , +17

Finding The Greedy, Prodigal, and Suicidal Contracts at Scale

Ivica Nikolić, Aashish Kolluri, Ilya Sergey et al. · 2018 · 120 citations · Full text

, , +15

1–5 of 26

Authors

83

  1. MS
    Monica S. Lam

    Stanford University, United States

    3 publications · 756 citations

    3

    h-index

  2. KL
    Karl Levitt

    University of California, Davis, United States

    2 publications · 536 citations

    2

    h-index

  3. CK
    Calvin Ko

    University of California, Davis, United States

    2 publications · 536 citations

    2

    h-index

  4. DF
    Dong-Liang Fang

    University of Chinese Academy of Sciences, China

    1 publications · 20 citations

    1

    h-index

  5. BR
    Baishakhi Ray

    Columbia University, United States

    1 publications · 35 citations

    1

    h-index

1–5 of 83

Institutions

34

  1. Stanford University

    Stanford, United States

    4 h-index

    9 publications

    1.6K citations

  2. University of California, Davis

    Davis, United States

    3 h-index

    10 publications

    883 citations

  3. Laboratoire d'Informatique de Paris-Nord

    Villetaneuse, France

    2 h-index

    4 publications

    1.4K citations

  4. Carleton University

    Ottawa, Canada

    1 h-index

    1 publications

    48 citations

  5. University of Chinese Academy of Sciences

    Beijing, China

    1 h-index

    5 publications

    100 citations

  6. Institut Polytechnique de Bordeaux

    Bordeaux, France

    1 h-index

    2 publications

    96 citations

  7. Chinese Academy of Sciences

    Beijing, China

    1 h-index

    5 publications

    100 citations

  8. Columbia University

    New York, United States

    1 h-index

    2 publications

    70 citations

1–8 of 34

Venues

  1. USENIX Security Symposium

    Conference · 2 publications · 115 citations

    2

    h-index

  2. Journal of Systems Architecture

    JSA · 2 publications · 68 citations

    2

    h-index

  3. Computers & Security

    1 publications · 28 citations

    1

    h-index

  4. Journal of Network and Systems Management

    1 publications · 10 citations

    1

    h-index

  5. arXiv (Cornell University)

    Repository · 2 publications · 29 citations

    1

    h-index

1–5