Concepedia

Invariant-based Verification

Invariant-Based Verification is a formal method in security protocol verification that belongs to the class of deductive verification techniques, distinguished by its reliance on identifying and proving inductive invariants—logical properties preserved across all protocol execution states—to establish the correctness of security properties.

70

Publications

3.6K

Citations

203

Authors

118

Institutions

Publications per year

2017–2026

16

Parents

Publications

70

Optimally robust shortcuts to population inversion in two-level quantum systems

A. Ruschhaupt, Xi Chen, Daniel Alonso et al. · New Journal of Physics · 2012 · 359 citations · Full text

, , +8

Verification of Object-Oriented Programs with Invariants.

Mike Barnett, Robert DeLine, Manuel Fähndrich et al. · The Journal of Object Technology · 2004 · 327 citations · Full text

, , +16

Transition invariants

Andreas Podelski, Andrey Rybalchenko · 2004 · 252 citations

, , +16

Invariant-based automatic testing of AJAX user interfaces

Ali Mesbah, Arie van Deursen · 2009 · 198 citations

, , +17

Invariant-Based Automatic Testing of Modern Web Applications

Ali Mesbah, Arie van Deursen, D. Roest · IEEE Transactions on Software Engineering · 2011 · 160 citations

, , +17

1–5 of 70

Authors

203

  1. TN
    Thanh-Hung Nguyen

    Hanoi University of Science and Technology, Vietnam

    3 publications · 114 citations

    3

    h-index

  2. PM
    Péter Müller

    ETH Zurich, Switzerland

    3 publications · 165 citations

    3

    h-index

  3. JS
    Joseph Sifakis

    Verimag, France

    3 publications · 114 citations

    3

    h-index

  4. AL
    Axel Legay

    Institut national de recherche en sciences et technologies du numérique, France

    3 publications · 114 citations

    3

    h-index

  5. SB
    Saddek Bensalem

    Verimag, France

    3 publications · 114 citations

    3

    h-index

1–5 of 203

Institutions

118

  1. Stanford University

    Stanford, United States

    5 h-index

    14 publications

    619 citations

  2. Verimag

    Gières, France

    4 h-index

    14 publications

    538 citations

  3. Delft University of Technology

    Delft, The Netherlands

    3 h-index

    5 publications

    737 citations

  4. Seoul National University

    Seoul, South Korea

    3 h-index

    10 publications

    712 citations

  5. The University of Texas at Austin

    Austin, United States

    3 h-index

    4 publications

    79 citations

  6. Massachusetts Institute of Technology

    Cambridge, United States

    3 h-index

    3 publications

    95 citations

  7. ETH Zurich

    Zurich, Switzerland

    3 h-index

    3 publications

    165 citations

  8. Microsoft (United States)

    Redmond, United States

    3 h-index

    7 publications

    1.7K citations

1–8 of 118

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 4 publications · 257 citations

    4

    h-index

  2. ACM SIGPLAN Notices

    3 publications · 87 citations

    3

    h-index

  3. Proceedings of the ACM on Programming Languages

    PACMPL · 2 publications · 72 citations

    2

    h-index

  4. Science of Computer Programming

    2 publications · 159 citations

    2

    h-index

  5. ACM Transactions on Embedded Computing Systems

    TECS · 2 publications · 33 citations

    2

    h-index

1–5