Concepedia

Constant-time Verification

Constant-Time Verification is a formal method in hardware security verification that ensures a cryptographic implementation resists timing side-channel attacks by verifying that its execution time is independent of secret data, thereby guaranteeing that no information about secrets is leaked through timing variations.

13

Publications

600

Citations

40

Authors

31

Institutions

Publications per year

2017–2026

8

Parents

Publications

13

Verifying constant-time implementations

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe et al. · Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT) · 2016 · 143 citations · Full text

, , +16

How to delegate computations

Yael Tauman Kalai, Ran Raz, Ron D. Rothblum · 2014 · 114 citations

, , +13

Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic “Constant-Time”

Gilles Barthe, Benjamin Grégoire, Vincent Laporte · 2018 · 97 citations · Full text

, , +15

Dude, is my code constant time?

Oscar Reparaz, Josep Balasch, Ingrid Verbauwhede · 2017 · 66 citations · Full text

, , +13

Threshold Signatures from Inner Product Argument: Succinct, Weighted, and Multi-threshold

Sourav Das, Philippe Camacho, Zhuolun Xiang et al. · 2023 · 38 citations

, , +16

1–5 of 13

Authors

40

  1. RG
    Rami Gökhan Kıcı

    University of California San Diego, United States

    2 publications · 34 citations

    2

    h-index

  2. RJ
    Ranjit Jhala

    University of California San Diego, United States

    2 publications · 34 citations

    2

    h-index

  3. DS
    Deian Stefan

    Stanford University, United States

    2 publications · 34 citations

    2

    h-index

  4. KV
    Klaus von Gleissenthall

    University of California San Diego, United States

    2 publications · 34 citations

    2

    h-index

  5. GB
    Gilles Barthe

    IMDEA Software Institute, Spain

    2 publications · 240 citations

    2

    h-index

1–5 of 40

Institutions

31

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

    Le Chesnay-Rocquencourt, France

    3 h-index

    5 publications

    169 citations

  2. IMDEA Software Institute

    Pozuelo de Alarcón, Spain

    2 h-index

    4 publications

    480 citations

  3. University of California San Diego

    San Diego, United States

    2 h-index

    7 publications

    118 citations

  4. KU Leuven

    Leuven, Belgium

    2 h-index

    4 publications

    216 citations

  5. Korea University

    Seoul, South Korea

    1 h-index

    2 publications

    32 citations

  6. Tel Aviv University

    Tel Aviv, Israel

    1 h-index

    1 publications

    26 citations

  7. University of Minho

    Braga, Portugal

    1 h-index

    1 publications

    143 citations

  8. Reichman University

    Herzliya, Israel

    1 h-index

    1 publications

    26 citations

1–8 of 31

Venues

  1. 1

    h-index

  2. Security and Communication Networks

    1 publications · 16 citations

    1

    h-index

  3. ACM Transactions on Privacy and Security

    1 publications · 18 citations

    1

    h-index

  4. 1

    h-index

  5. Journal of Computer Security

    1 publications · 18 citations

    1

    h-index

1–5