Concepedia

Scyther

Scyther is a formal automated tool for the verification of security protocols, distinguished by its use of a symbolic model and partial order reduction techniques to efficiently detect and analyze authentication and secrecy properties in cryptographic protocols.

46

Publications

1.6K

Citations

122

Authors

73

Institutions

Publications per year

2017–2026

33

Parents

Publications

46

Scyther:semantics and verification of security protocols

Cjf Cas Cremers · Data Archiving and Networked Services (DANS) · 2006 · 315 citations · Full text

, , +17

Know your enemy

Ildar Muslukhov, Yazan Boshmaf, Cynthia Kuo et al. · 2013 · 90 citations

, , +16

An Efficient Authentication and Key Agreement Scheme Based on ECDH for Wireless Sensor Network

Mostafa Farhadi Moghadam, Mahdi Nikooghadam, Maytham Azhar Baqer Al Jabban et al. · IEEE Access · 2020 · 81 citations · Full text

, , +17

BROSMAP: A Novel Broadcast Based Secure Mobile Agent Protocol for Distributed Service Applications

Dina Shehada, Chan Yeob Yeun, Mohamed Jamal Zemerly et al. · Security and Communication Networks · 2017 · 58 citations · Full text

, , +16

B-HAS: Blockchain-Assisted Efficient Handover Authentication and Secure Communication Protocol in VANETs

Sanjeev Kumar Dwivedi, Ruhul Amin, Satyanarayana Vollala et al. · IEEE Transactions on Network Science and Engineering · 2023 · 51 citations

, , +17

1–5 of 46

Authors

122

  1. SS
    Shaik Shakeel Ahamad

    Majmaah University, Saudi Arabia

    5 publications · 94 citations

    5

    h-index

  2. SN
    Sarra Naoui

    Manouba University, Tunisia

    3 publications · 52 citations

    3

    h-index

  3. RA
    Ruhul Amin

    International Institute of Information Technology, India

    3 publications · 121 citations

    3

    h-index

  4. SV
    Satyanarayana Vollala

    International Institute of Information Technology, India

    3 publications · 121 citations

    3

    h-index

  5. VN
    V. N. Sastry

    Institute for Development and Research in Banking Technology, India

    3 publications · 80 citations

    3

    h-index

1–5 of 122

Institutions

73

  1. Majmaah University

    Riyadh, Saudi Arabia

    4 h-index

    4 publications

    77 citations

  2. Institute for Development and Research in Banking Technology

    Hyderabad, India

    3 h-index

    6 publications

    160 citations

  3. University of Hyderabad

    Hyderabad, India

    3 h-index

    4 publications

    97 citations

  4. Manouba University

    Manouba, Tunisia

    3 h-index

    6 publications

    104 citations

  5. VIT-AP University

    Guntur, India

    2 h-index

    2 publications

    90 citations

  6. National Institute of Technology Andhra Pradesh

    Tādepallegūdem, India

    2 h-index

    3 publications

    124 citations

  7. Nanyang Technological University

    Singapore, Singapore

    2 h-index

    3 publications

    62 citations

  8. International Institute of Information Technology

    Pune, India

    2 h-index

    7 publications

    215 citations

1–8 of 73

Venues

  1. IEEE Access

    5 publications · 170 citations

    5

    h-index

  2. Security and Communication Networks

    3 publications · 115 citations

    3

    h-index

  3. 2

    h-index

  4. 2

    h-index

  5. IEEE Systems Journal

    ISJ · 2 publications · 56 citations

    2

    h-index

1–5