This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Stefan Mangard
A grouping.
Stefan Mangard: microarchitectural attacks on isolation - KASLR is Dead, Meltdown (twice), Spectre - and the formal verification of masked hardware (2018) and its software co-verification (Coco).
16 references
Fault-resistant partitioning of secure CPUs for system co-verification against faults
Simon Tollec and others (2024) · IACR Transactions on Cryptographic Hardware and Embedded Systems
EC-CFI: Control-Flow Integrity via Code Encryption Counteracting Fault Attacks
Pascal Nasahl and others (2023) · IEEE International Symposium on Hardware Oriented Security and Trust (HOST)
SCRAMBLE-CFI: Mitigating Fault-Induced Control-Flow Attacks on OpenTitan
Pascal Nasahl and others (2023) · ACM
SYNFI: Pre-Silicon Fault Analysis of an Open-Source Secure Element
Pascal Nasahl and others (2022) · IACR Transactions on Cryptographic Hardware and Embedded Systems · Universitatsbibliothek der Ruhr-Universitat Bochum
Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs
Barbara Gigerl and others (2021) · 30th USENIX Security Symposium (USENIX Security 21) · USENIX Association
Spectre attacks: exploiting speculative execution
Paul C. Kocher and others (2020) · Communications of the ACM · Association for Computing Machinery
Spectre Attacks: Exploiting Speculative Execution
Paul Kocher and others (2019) · 2019 IEEE Symposium on Security and Privacy (SP) · IEEE
Formal Verification of Masked Hardware Implementations in the Presence of Glitches
Roderick Bloem and others (2018) · Advances in Cryptology - EUROCRYPT 2018 · Springer International Publishing
SIFA: Exploiting Ineffective Fault Inductions on Symmetric Cryptography
Christoph Dobraunig and others (2018) · IACR Transactions on Cryptographic Hardware and Embedded Systems · International Association for Cryptologic Research
Meltdown
Moritz Lipp and others (2018) · arXiv
Meltdown: Reading Kernel Memory from User Space
Moritz Lipp and others (2018) · 27th USENIX Security Symposium (USENIX Security 18) · USENIX Association
Sponge-Based Control-Flow Protection for IoT Devices
Mario Werner and others (2018) · 2018 IEEE European Symposium on Security and Privacy (EuroS&P) · IEEE
KASLR is Dead: Long Live KASLR
Daniel Gruss and others (2017) · Engineering Secure Software and Systems · Springer
Systematic Classification of Side-Channel Attacks: A Case Study for Mobile Devices
Raphael Spreitzer and others (2017) · Institute of Electrical and Electronics Engineers (IEEE)
Rowhammer.js: A Remote Software-Induced Fault Attack in JavaScript
Daniel Gruss and others (2016) · Lecture notes in computer science · Springer Science+Business Media
A Simple Power-Analysis (SPA) Attack on Implementations of the AES Key Expansion
Stefan Mangard (2003) · Lecture notes in computer science · Springer Science+Business Media