Attack Trace Construction

Attack Trace Construction is a methodological process in protocol verification that systematically identifies and reconstructs the sequence of actions and states revealing a vulnerability exploitation path within a formal model of a security protocol.

26

Publications

3.6K

Citations

77

Authors

36

Institutions

Publications per year

2017–2026

7

Authors

77

  1. SS
    Stefan Savage

    University of California San Diego, United States

    2 publications · 1.5K citations

    2

    h-index

  2. DW
    David Wetherall

    University of Washington, United States

    2 publications · 1.5K citations

    2

    h-index

  3. AR
    Anna R. Karlin

    University of Washington, United States

    2 publications · 1.5K citations

    2

    h-index

  4. SM
    S. Matsuda

    NTT (Japan), Japan

    2 publications · 118 citations

    2

    h-index

  5. TA
    Tom Anderson

    University of Washington, United States

    2 publications · 1.5K citations

    2

    h-index

1–5 of 77

Venues

  1. arXiv (Cornell University)

    Repository · 1 publications · 10 citations

    1

    h-index

  2. Future Generation Computer Systems

    FGCS · 1 publications · 14 citations

    1

    h-index

  3. IEEE Internet Computing

    1 publications · 105 citations

    1

    h-index

  4. 1

    h-index

  5. USENIX Large Installation Systems Administration Conference

    Conference · 1 publications · 482 citations

    1

    h-index

1–5