Concepedia

Secure Channel Verification

Secure Channel Verification is a formal method within the domain of security protocol verification that specifically ensures the correctness and robustness of cryptographic protocols in establishing secure communication channels by rigorously proving their resistance to adversarial interventions and confidentiality breaches.

11

Publications

339

Citations

34

Authors

27

Institutions

Publications per year

2017–2026

5

Parents

Publications

11

Proof Techniques for Cryptographic Processes

Michele Boreale, Rocco De Nicola, Rosario Pugliese · SIAM Journal on Computing · 2001 · 88 citations

, , +16

Proof techniques for cryptographic processes

Michele Boreale, Rocco De Nicola, Rosario Pugliese · 2003 · 67 citations

, , +16

Artificial-Noise-Aided Physical Layer Phase Challenge-Response Authentication for Practical OFDM Transmission

Xiaofu Wu, Zhen Yang, Cong Ling et al. · IEEE Transactions on Wireless Communications · 2016 · 52 citations

, , +16

Independence-Checking Coding for OFDM Channel Training Authentication: Protocol Design, Security, Stability, and Tradeoff Analysis

Dongyang Xu, Pinyi Ren, James A. Ritcey · IEEE Transactions on Information Forensics and Security · 2018 · 35 citations · Full text

, , +17

Practical Human-Machine Identification over Insecure Channels

Xiang‐Yang Li, Shang‐Hua Teng · Journal of Combinatorial Optimization · 1999 · 24 citations

, , +13

1–5 of 11

Authors

34

  1. RD
    Rocco De Nicola

    University of Florence, Italy

    2 publications · 155 citations

    2

    h-index

  2. MB
    Michele Boreale

    University of Florence, Italy

    2 publications · 155 citations

    2

    h-index

  3. KB
    Karthikeyan Bhargavan

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

    2 publications · 28 citations

    2

    h-index

  4. RP
    Rosario Pugliese

    University of Florence, Italy

    2 publications · 155 citations

    2

    h-index

  5. DB
    David Basin

    ETH Zurich, Switzerland

    1 publications · 18 citations

    1

    h-index

1–5 of 34

Institutions

27

  1. University of Washington

    Seattle, United States

    1 h-index

    1 publications

    35 citations

  2. National Institute of Technology Arunachal Pradesh

    Itanagar, India

    1 h-index

    3 publications

    36 citations

  3. Indian Institute of Technology Gandhinagar

    Gandhinagar, India

    1 h-index

    1 publications

    16 citations

  4. Istituto Nazionale di Fisica Nucleare, Sezione di Roma I

    Rome, Italy

    1 h-index

    1 publications

    67 citations

  5. Sapienza University of Rome

    Rome, Italy

    1 h-index

    1 publications

    67 citations

  6. Beijing Electronic Science and Technology Institute

    Beijing, China

    1 h-index

    1 publications

    14 citations

  7. Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)

    Cologne, Germany

    1 h-index

    1 publications

    13 citations

  8. CryptoExperts (France)

    Paris, France

    1 h-index

    2 publications

    32 citations

1–8 of 27

Venues

  1. 1

    h-index

  2. IEEE Transactions on Wireless Communications

    1 publications · 52 citations

    1

    h-index

  3. 1

    h-index

  4. SIAM Journal on Computing

    1 publications · 88 citations

    1

    h-index

  5. 2022 IEEE Symposium on Security and Privacy (SP)

    Conference · 1 publications · 16 citations

    1

    h-index

1–5