Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

System-level Non-interference for Constant-time Cryptography

2014117 citationsPreprint

Authors

Gilles Barthe · IMDEA Software Institute

Gustavo Betarte · Universidad de la República de Uruguay

Juan Diego Campo · Universidad de la República de Uruguay

Carlos Luna · Universidad de la República de Uruguay

David Pichardie · Institut de Recherche en Informatique et Systèmes Aléatoires

Abstract

International audience

Topics & Keywords

Security and Verification in Computing Cloud Data Security Solutions Cryptography and Data Security

UN Sustainable Development Goals

Peace, Justice and strong institutions

Publication Details

DOI: 10.1145/2660267.2660283

Field-Weighted Citation Impact: 18.84

System-level Non-interference for Constant-time Cryptography | Researchclopedia