Projects per year
Abstract
Confidentiality, authenticity, integrity of data, and runtime security are ubiquitous concerns in modern computer systems. However, these security concerns have traditionally been addressed by separate mechanisms. Error-correcting codes (ECC) detect and correct DRAM errors, ensuring the integrity of stored data. Authenticated memory encryption provides data confidentiality and authenticity. Memory tagging enforces memory safety, thereby improving runtime security. The lack of a combined primitive increases system complexity, memory overheads, and the overall performance impact. In this work, we present Voodoo, the first combined scheme for authenticated encryption, DRAM error correction, and memory tagging. Our design extends the MAGIC mode for authenticated encryption and error correction proposed by Kounavis et al.. With Voodoo, DRAM data is encrypted, and a tag-dependent message authentication code protects the integrity of the stored data while simultaneously allowing for the correction of DRAM faults. Thus, we can implement a wide range of tagged memory architectures without introducing additional memory requests or storage overheads. We present three tag encoding schemes providing up to 36 tag bits per cache line. Using the gem5 simulator, we implement and benchmark our design. Our evaluation shows a low runtime overhead of 1.4% on average compared to a system without any of the provided security features. We use a Monte-Carlo simulation of a DRAM fault model based on real-world DRAM fault behavior to demonstrate the corrective capabilities of Voodoo. Our results show that we consistently outperform traditional single-error correction, double-error detection (SEC-DED) codes in terms of error correction and detection. For multi-chip faults, Voodoo offers stronger error detection than commodity Chipkill solutions.
Original language | English |
---|---|
Title of host publication | Proceedings of the 33rd USENIX Conference on Security Symposium |
Publisher | USENIX Association |
Pages | 7159 - 7176 |
Number of pages | 18 |
ISBN (Electronic) | 978-1-939133-44-1 |
DOIs | |
Publication status | E-pub ahead of print - 2024 |
Event | 33rd USENIX Security Symposium: USENIX Security 2024 - Philadelphia Marriott Downtown, Philadelphia, United States Duration: 14 Aug 2024 → 16 Aug 2024 https://www.usenix.org/conference/usenixsecurity24 |
Conference
Conference | 33rd USENIX Security Symposium: USENIX Security 2024 |
---|---|
Abbreviated title | USENIX |
Country/Territory | United States |
City | Philadelphia |
Period | 14/08/24 → 16/08/24 |
Internet address |
Keywords
- Memory Tagging
- Authenticated Encryption
- Error Correction
Fingerprint
Dive into the research topics of 'Voodoo: Memory Tagging, Authenticated Encryption, and Error Correction through MAGIC'. Together they form a unique fingerprint.-
AWARE - Hardware-Ensured Software Security
Mangard, S. (Co-Investigator (CoI))
1/05/22 → 30/04/25
Project: Research project
-
SEIZE - Secure Edge Devices For Industrial Zero-Trust Environments
Mangard, S. (Co-Investigator (CoI))
1/01/22 → 31/12/24
Project: Research project
Activities
- 1 Talk at conference or symposium
-
Voodoo: Memory Tagging, Authenticated Encryption, and Error Correction through MAGIC
Lamster, L. A. (Speaker)
16 Aug 2024Activity: Talk or presentation › Talk at conference or symposium › Science to science