Concepedia

Proverif

ProVerif is an automated formal verification tool belonging to the class of symbolic protocol analyzers, distinguished by its ability to prove security properties of cryptographic protocols in the Dolev-Yao model using Horn clauses and term rewriting.

78

Publications

4K

Citations

195

Authors

120

Institutions

Publications per year

2017–2026

38

Parents

Publications

78

Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif

Bruno Blanchet · Foundations and Trends® in Privacy and Security · 2016 · 293 citations · Full text

, , +16

A Secure Three-Factor User Authentication Protocol With Forward Secrecy for Wireless Medical Sensor Network Systems

Xiong Li, Jieyao Peng, Mohammad S. Obaidat et al. · IEEE Systems Journal · 2019 · 220 citations

, , +14

Chaotic Map-Based Anonymous User Authentication Scheme With User Biometrics and Fuzzy Extractor for Crowdsourcing Internet of Things

Sandip Roy, Santanu Chatterjee, Ashok Kumar Das et al. · IEEE Internet of Things Journal · 2017 · 208 citations

, , +17

ProVerif 1.85: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial

Bruno Blanchet, Ben Smyth · 2011 · 148 citations

, , +13

Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus

Michael Backes, Cătălin Hriţcu, Matteo Maffei · 2008 · 148 citations

, , +17

1–5 of 78

Authors

195

  1. AD
    Andrew D. Gordon

    Microsoft Research (United Kingdom), United Kingdom

    7 publications · 385 citations

    7

    h-index

  2. CF
    Cédric Fournet

    Microsoft Research (United Kingdom), United Kingdom

    7 publications · 438 citations

    7

    h-index

  3. SK
    Saru Kumari

    Chaudhary Charan Singh University, India

    7 publications · 523 citations

    7

    h-index

  4. KB
    Karthikeyan Bhargavan

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

    6 publications · 445 citations

    6

    h-index

  5. BB
    Bruno Blanchet

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

    6 publications · 647 citations

    6

    h-index

1–5 of 195

Institutions

120

  1. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    10 h-index

    18 publications

    1.1K citations

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

    Le Chesnay-Rocquencourt, France

    9 h-index

    10 publications

    794 citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    7 h-index

    16 publications

    643 citations

  4. Chaudhary Charan Singh University

    Meerut, India

    7 h-index

    7 publications

    523 citations

  5. Microsoft (United States)

    Redmond, United States

    6 h-index

    11 publications

    698 citations

  6. University of Birmingham

    Birmingham, United Kingdom

    5 h-index

    13 publications

    397 citations

  7. Hunan University of Science and Technology

    Xiangtan, China

    5 h-index

    10 publications

    950 citations

  8. Shandong University of Science and Technology

    Qingdao, China

    5 h-index

    17 publications

    452 citations

1–8 of 120

Venues

  1. IEEE Access

    6 publications · 326 citations

    6

    h-index

  2. Security and Communication Networks

    4 publications · 172 citations

    4

    h-index

  3. IEEE Systems Journal

    ISJ · 4 publications · 359 citations

    4

    h-index

  4. International Journal of Communication Systems

    3 publications · 100 citations

    3

    h-index

  5. Wireless Communications and Mobile Computing

    WCMC · 2 publications · 45 citations

    2

    h-index

1–5