Stefan Mangard
16 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
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
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).
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