Repositori institucional URV
| URV's Author/s: | Farràs Ventura, Oriol / Ribes Gonzalez, Jordi |
| Author, as appears in the article.: | Ribes-González J; Farràs O; Hernández C; Kostalabros V; Moretó M |
| Author's mail: | oriol.farras@urv.cat |
| Author identifier: | 0000-0002-7495-5980 |
| Journal publication year: | 2022 |
| Publication Type: | Journal Publications |
| APA: | Ribes-González J; Farràs O; Hernández C; Kostalabros V; Moretó M (2022). A Security Model for Randomization-based Protected Caches. Iacr Transactions On Cryptographic Hardware And Embedded Systems, 2022(3), 1-25. DOI: 10.46586/tches.v2022.i3.1-25 |
| Papper original source: | Iacr Transactions On Cryptographic Hardware And Embedded Systems. 2022 (3): 1-25 |
| Abstract: | Cache side-channel attacks allow adversaries to learn sensitive information about co-running processes by using only access latency measures and cache contention. This vulnerability has been shown to lead to several microarchitectural attacks. As a promising solution, recent work proposes Randomization-based Protected Caches (RPCs). RPCs randomize cache addresses, changing keys periodically so as to avoid long-term leakage. Unfortunately, recent attacks have called the security of state-of-the-art RPCs into question. In this work, we tackle the problem of formally defining and analyzing the security properties of RPCs. We first give security definitions against access-based cache side-channel attacks that capture security against known attacks such as Prime+Probe and Evict+Probe. Then, using these definitions, we obtain results that allow to guarantee security by adequately choosing the rekeying period, the key generation algorithm and the cache randomizer, thus providing security proofs for RPCs under certain assumptions. |
| Article's DOI: | 10.46586/tches.v2022.i3.1-25 |
| Link to the original source: | https://tches.iacr.org/index.php/TCHES/article/view/9693 |
| Papper version: | info:eu-repo/semantics/publishedVersion |
| licence for use: | https://creativecommons.org/licenses/by/3.0/es/ |
| Department: | Enginyeria Informàtica i Matemàtiques |
| Licence document URL: | https://repositori.urv.cat/ca/proteccio-de-dades/ |
| Thematic Areas: | Software Signal processing Hardware and architecture Computer networks and communications Computer graphics and computer-aided design Artificial intelligence |
| Keywords: | Timing attacks Security definition Randomly-mapped caches Randomization-based protected caches Pseudo-random functions Cache side-channel attacks |
| Entity: | Universitat Rovira i Virgili |
| Record's date: | 2024-09-07 |
| Search your record at: |   |
| File | Description | Format | |
|---|---|---|---|
| DocumentPrincipal | DocumentPrincipal | application/pdf |
© 2011 Universitat Rovira i Virgili