Work

"These results must be false": A usability evaluation of constant-time analysis tools

Year: 2024

Type: conference-paper

Abstract: International audience

Source: HAL (Le Centre pour la Communication Scientifique Directe)

Authors: Fourné, Marcel, de Almeida Braga, Daniel, Jancar, Jan, Sabt, Mohamed, Schwabe, Peter, Barthe, Gilles, Fouque, Pierre-Alain, Acar, Yasemin

Institutions: Paderborn University, Centre National de la Recherche Scientifique, Institut de Recherche en Informatique et Systèmes Aléatoires, Centre Inria de l'Université de Rennes, CAPSULE: Cryptographie Appliquée et Sécurité des Implémentations, Université de Rennes, Masaryk University, Radboud University Nijmegen, Max Planck Institute for Security and Privacy, IMDEA Software Institute, George Washington University

Language: English

Topic: Software Engineering Research

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: European Commission

Award: G5246431558

OpenAlex ID: W4402953076

FWCI:

Cites:

Cited by:

Related to: 10