Auditing without Leaks Despite Curiosity
Auditing data accesses helps preserve privacy and ensures accountability by allowing one to determine who accessed (potentially sensitive) information. A prior formal definition of register auditability was based on the values returned by read operations, without accounting for cases where a reader might learn a value without explicitly reading it or gain knowledge of data access without being an auditor.
Authors
- Antonio Fernández Anta (ORCID: https://orcid.org/0000-0001-6501-2377)
- Hagit Attiya (ORCID: https://orcid.org/0000-0002-8017-6457)
- Corentin Travers (ORCID: https://orcid.org/0000-0002-6797-4542)
- Alexandre Rapetti (ORCID: https://orcid.org/0009-0008-3151-6495)
- Alessia Milani
Institutions
- Technion – Israel Institute of Technology (IL)
- Aix-Marseille Université (FR)
- Commissariat à l'Énergie Atomique et aux Énergies Alternatives (FR)
- Université Paris-Saclay (FR)
- IMDEA Networks (ES)
- Laboratoire d'Intégration des Systèmes et des Technologies (FR)
- IMDEA Software Institute (ES)
Publication Details
- Published
- 2025-06-13
- DOI
- https://doi.org/10.1145/3732772.3733516
- Primary Topic
- Distributed systems and fault tolerance
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Agence Nationale de la Recherche
- Israel Science Foundation
- European Regional Development Fund
- Agencia Estatal de Investigación