Concepedia

Specification Mining For Security

Specification Mining for Security is a formal method in static application security testing that automatically infers security-relevant behavioral specifications from program artifacts to detect deviations indicative of vulnerabilities.

8

Publications

524

Citations

27

Authors

13

Institutions

Publications per year

2017–2026

3

Parents

Publications

8

Prospex: Protocol Specification Extraction

Paolo Milani Comparetti, Gilbert Wondracek, Christopher Kruegel et al. · 2009 · 259 citations

, , +17

SMArTIC

David Lo, Siau‐Cheng Khoo · 2006 · 152 citations · Full text

, , +10

Specification Mining for Intrusion Detection in Networked Control Systems

Marco Caselli, Emmanuele Zambon, Johanna Amann et al. · University of Twente Research Information · 2016 · 26 citations · Full text

, , +17

Modelgen: mining explicit information flow specifications from concrete executions

Lazaro Clapp, Saswat Anand, Alex Aiken · 2015 · 22 citations

, , +16

Path-Based Function Embedding and its Application to Specification Mining

Daniel DeFreez, Aditya Thakur, Cindy Rubio-González · arXiv (Cornell University) · 2018 · 17 citations · Full text

, , +13

1–5 of 8

Authors

27

  1. CS
    Cynthia Sturton

    University of North Carolina at Chapel Hill, United States

    2 publications · 34 citations

    2

    h-index

  2. CD
    Calvin Deutschbein

    University of North Carolina at Chapel Hill, United States

    2 publications · 34 citations

    2

    h-index

  3. GW
    Gilbert Wondracek

    TU Wien, Austria

    1 publications · 259 citations

    1

    h-index

  4. CK
    Christopher Kruegel

    University of California, Santa Barbara, United States

    1 publications · 259 citations

    1

    h-index

  5. LC
    Lazaro Clapp

    Stanford University, United States

    1 publications · 22 citations

    1

    h-index

1–5 of 27

Institutions

13

  1. University of North Carolina at Chapel Hill

    Chapel Hill, United States

    2 h-index

    4 publications

    68 citations

  2. Stanford University

    Stanford, United States

    1 h-index

    3 publications

    66 citations

  3. Scuola Superiore Sant'Anna

    Pisa, Italy

    1 h-index

    1 publications

    17 citations

  4. Lawrence Berkeley National Laboratory

    Berkeley, United States

    1 h-index

    1 publications

    26 citations

  5. SecurityMatters (Netherlands)

    Enschede, Netherlands

    1 h-index

    1 publications

    26 citations

  6. University of Twente

    Enschede, The Netherlands

    1 h-index

    1 publications

    26 citations

  7. EURECOM

    Valbonne, France

    1 h-index

    1 publications

    259 citations

  8. TU Wien

    Vienna, Austria

    1 h-index

    2 publications

    518 citations

1–8 of 13

Venues

  1. 1

    h-index

  2. University of Twente Research Information

    Repository · 1 publications · 26 citations

    1

    h-index

  3. arXiv (Cornell University)

    Repository · 1 publications · 17 citations

    1

    h-index

1–3