Work

Constant-time foundations for the new spectre era

Year: 2020

Type: conference-paper

Abstract: The constant-time discipline is a software-based countermeasure used for protecting high assurance cryptographic implementations against timing side-channel attacks. Constant-time is effective (it protects against many known attacks), rigorous (it can be formalized using program semantics), and amenable to automated verification. Yet, the advent of micro-architectural attacks makes constant-time as it exists today far less useful.

Source: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

DOI: 10.1145/3385412.3385970

Authors: Sunjay Cauligi, Craig Disselkoen, Klaus v. Gleissenthall, Dean Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe

Institutions: University of California San Diego, Institut national de recherche en sciences et technologies du numérique, Max Planck Institute for Security and Privacy, IMDEA Software Institute

Language: English

Topic: Cryptographic Implementations and Security

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Funders: National Science Foundation, Semiconductor Research Corporation, Cisco Systems, Innovative Research Group Project of the National Natural Science Foundation of China, Defense Advanced Research Projects Agency, Office of Naval Research, Office of Academic Research, U.S. Naval Academy

Awards: FMitF: Collaborative Research: Track I: Finding and Eliminating Bugs in Operating Systems, G3999670533, G4970457988, G6263685455

OpenAlex ID: W3020825203

FWCI: 4.639

Cites: 31

Cited by: 114

Related to: 10