Concepedia

Constant-time Programming

Constant-Time Programming is a security-oriented software development methodology that eliminates timing side channels by ensuring that program execution time remains invariant with respect to secret data, thereby preventing attackers from inferring sensitive information through timing analysis.

19

Publications

814

Citations

47

Authors

27

Institutions

Publications per year

2017–2026

9

Parents

Publications

19

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

Shape types

Pascal Fradet, Daniel Le Métayer · 1997 · 99 citations · Full text

, , +13

An efficient representation for sparse sets

Preston Briggs, Linda Torczon · ACM Letters on Programming Languages and Systems · 1993 · 84 citations

, , +12

FaCT: a DSL for timing-sensitive computation

Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer et al. · 2019 · 73 citations · Full text

, , +12

Dude, is my code constant time?

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

, , +13

1–5 of 19

Authors

47

  1. DS
    Deian Stefan

    Stanford University, United States

    3 publications · 151 citations

    3

    h-index

  2. RJ
    Ranjit Jhala

    University of California San Diego, United States

    3 publications · 151 citations

    3

    h-index

  3. FB
    Fraser Brown

    Stanford University, United States

    3 publications · 151 citations

    3

    h-index

  4. SC
    Sunjay Cauligi

    University of California San Diego, United States

    2 publications · 121 citations

    2

    h-index

  5. BJ
    Brian Johannesmeyer

    University of Arizona, United States

    2 publications · 121 citations

    2

    h-index

1–5 of 47

Institutions

27

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

    Le Chesnay-Rocquencourt, France

    4 h-index

    8 publications

    355 citations

  2. Stanford University

    Stanford, United States

    3 h-index

    5 publications

    254 citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    3 h-index

    6 publications

    108 citations

  4. Institut de Recherche en Informatique et Systèmes Aléatoires

    Rennes, France

    2 h-index

    5 publications

    252 citations

  5. IMEC

    Leuven, Belgium

    2 h-index

    6 publications

    237 citations

  6. KU Leuven

    Leuven, Belgium

    2 h-index

    6 publications

    237 citations

  7. University of California San Diego

    San Diego, United States

    2 h-index

    9 publications

    528 citations

  8. IMDEA Software Institute

    Pozuelo de Alarcón, Spain

    2 h-index

    3 publications

    359 citations

1–8 of 27

Venues

  1. IACR Cryptology ePrint Archive

    Repository · 2 publications · 72 citations

    2

    h-index

  2. Symposium on Discrete Algorithms

    Conference · 1 publications · 27 citations

    1

    h-index

  3. Journal of Computer Security

    1 publications · 18 citations

    1

    h-index

  4. Luminescence

    1 publications · 21 citations

    1

    h-index

  5. 1

    h-index

1–5