Stefan Mangard

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 137

Top Venues

IACR Cryptol. ePrint Arch.

CoRR

USENIX Security Symposium

AsiaCCS

Publications

Lukas Maar, Stefan Gast, Martin Unterguggenberger, Mathias Oberhuber, Stefan Mangard
SLUBStick: Arbitrary Memory Writes through Practical Software Cross-Cache Attacks within the Linux Kernel. USENIX Security Symposium (2024)
Gaëtan Cassiers, Barbara Gigerl, Stefan Mangard, Charles Momin, Rishub Nagpal
Compress: Generate Small and Fast Masked Pipelined Circuits. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2024 (3) (2024)
Lukas Maar, Pascal Nasahl, Stefan Mangard
Beyond the Edges of Kernel Control-Flow Hijacking Protection with HEK-CFI. AsiaCCS (2024)
Martin Unterguggenberger, Lukas Lamster, David Schrammel, Martin Schwarzl, Stefan Mangard
TME-Box: Scalable In-Process Isolation through Intel TME-MK Memory Encryption. CoRR (2024)
Lukas Lamster, Martin Unterguggenberger, David Schrammel, Stefan Mangard
Voodoo: Memory Tagging, Authenticated Encryption, and Error Correction through MAGIC. USENIX Security Symposium (2024)
Simon Tollec, Vedad Hadzic, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard
Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults. IACR Cryptol. ePrint Arch. 2024 (2024)
Barbara Gigerl, Franz Klug, Stefan Mangard, Florian Mendel, Robert Primas
Smooth Passage with the Guards: Second-Order Hardware Masking of the AES with Low Randomness and Low Latency. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2024 (1) (2024)
Vedad Hadzic, Gaëtan Cassiers, Robert Primas, Stefan Mangard, Roderick Bloem
Quantile: Quantifying Information Leakage. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2024 (1) (2024)
Barbara Gigerl, Kevin Pretterhofer, Stefan Mangard
Security Aspects of Masking on FPGAs. HOST (2024)
Lukas Maar, Florian Draschbacher, Lukas Lamster, Stefan Mangard
Defects-in-Depth: Analyzing the Integration of Effective Defenses against One-Day Exploits in Android Kernels. USENIX Security Symposium (2024)
David Schrammel, Moritz Waser, Lukas Lamster, Martin Unterguggenberger, Stefan Mangard
SPEAR-V: Secure and Practical Enclave Architecture for RISC-V. AsiaCCS (2023)
Barbara Gigerl, Robert Primas, Stefan Mangard
Secure Context Switching of Masked Software Implementations. IACR Cryptol. ePrint Arch. 2023 (2023)
Pascal Nasahl, Martin Unterguggenberger, Rishub Nagpal, Robert Schilling, David Schrammel, Stefan Mangard
SCFI: State Machine Control-Flow Hardening Against Fault Attacks. DATE (2023)
David Schrammel, Salmin Sultana, Karanvir Grewal, Michael LeMay, David M. Durham, Martin Unterguggenberger, Pascal Nasahl, Stefan Mangard
MEMES: Memory Encryption-Based Memory Safety on Commodity Hardware. SECRYPT (2023)
Lukas Maar, Martin Schwarzl, Fabian Rauscher, Daniel Gruss, Stefan Mangard
DOPE: DOmain Protection Enforcement with PKS. ACSAC (2023)
Gaëtan Cassiers, Barbara Gigerl, Stefan Mangard, Charles Momin, Rishub Nagpal
Compress: Reducing Area and Latency of Masked Pipelined Circuits. IACR Cryptol. ePrint Arch. 2023 (2023)
Martin Unterguggenberger, David Schrammel, Lukas Lamster, Pascal Nasahl, Stefan Mangard
Cryptographically Enforced Memory Safety. CCS (2023)
Martin Unterguggenberger, David Schrammel, Pascal Nasahl, Robert Schilling, Lukas Lamster, Stefan Mangard
Multi-Tag: A Hardware-Software Co-Design for Memory Safety based on Multi-Granular Memory Tagging. AsiaCCS (2023)
Robert Schilling, Pascal Nasahl, Martin Unterguggenberger, Stefan Mangard
SFP: Providing System Call Flow Protection against Software and Fault Attacks. CoRR (2023)
Pascal Nasahl, Salmin Sultana, Hans Liljestrand, Karanvir Grewal, Michael LeMay, David M. Durham, David Schrammel, Stefan Mangard
EC-CFI: Control-Flow Integrity via Code Encryption Counteracting Fault Attacks. CoRR (2023)
Andreas Kogler, Jonas Juffinger, Lukas Giner, Lukas Gerlach, Martin Schwarzl, Michael Schwarz, Daniel Gruss, Stefan Mangard
Collide+Power: Leaking Inaccessible Data with Software-based Power Side Channels. USENIX Security Symposium (2023)
Pascal Nasahl, Stefan Mangard
SCRAMBLE-CFI: Mitigating Fault-Induced Control-Flow Attacks on OpenTitan. ACM Great Lakes Symposium on VLSI (2023)
Barbara Gigerl, Robert Primas, Stefan Mangard
Formal Verification of Arithmetic Masking in Hardware and Software. ACNS (1) (2023)
Pascal Nasahl, Salmin Sultana, Hans Liljestrand, Karanvir Grewal, Michael LeMay, David M. Durham, David Schrammel, Stefan Mangard
EC-CFI: Control-Flow Integrity via Code Encryption Counteracting Fault Attacks. HOST (2023)
Lukas Lamster, Martin Unterguggenberger, David Schrammel, Stefan Mangard
HashTag: Hash-based Integrity Protection for Tagged Architectures. USENIX Security Symposium (2023)
Barbara Gigerl, Robert Primas, Stefan Mangard
Secure Context Switching of Masked Software Implementations. AsiaCCS (2023)
Pascal Nasahl, Stefan Mangard
SCRAMBLE-CFI: Mitigating Fault-Induced Control-Flow Attacks on OpenTitan. CoRR (2023)
Lukas Giner, Stefan Steinegger, Antoon Purnal, Maria Eichlseder, Thomas Unterluggauer, Stefan Mangard, Daniel Gruss
Scatter and Split Securely: Defeating Cache Contention and Occupancy Attacks. SP (2023)
Robert Schilling, Pascal Nasahl, Martin Unterguggenberger, Stefan Mangard
SFP: Providing System Call Flow Protection against Software and Fault Attacks. HASP@MICRO (2022)
Rishub Nagpal, Barbara Gigerl, Robert Primas, Stefan Mangard
Riding the Waves Towards Generic Single-Cycle Masking in Hardware. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2022 (4) (2022)
Pascal Nasahl, Miguel Osorio, Pirmin Vogel, Michael Schaffner, Timothy Trippel, Dominic Rizzo, Stefan Mangard
SYNFI: Pre-Silicon Fault Analysis of an Open-Source Secure Element. CoRR (2022)
Roderick Bloem, Barbara Gigerl, Marc Gourjon, Vedad Hadzic, Stefan Mangard, Robert Primas
Power Contracts: Provably Complete Power Leakage Models for Processors. CCS (2022)
Roderick Bloem, Barbara Gigerl, Marc Gourjon, Vedad Hadzic, Stefan Mangard, Robert Primas
Power Contracts: Provably Complete Power Leakage Models for Processors. IACR Cryptol. ePrint Arch. 2022 (2022)
Pascal Nasahl, Martin Unterguggenberger, Rishub Nagpal, Robert Schilling, David Schrammel, Stefan Mangard
SCFI: State Machine Control-Flow Hardening Against Fault Attacks. CoRR (2022)
David Schrammel, Samuel Weiser, Richard Sadek, Stefan Mangard
Jenny: Securing Syscalls for PKU-based Memory Isolation Systems. USENIX Security Symposium (2022)
Robert Schilling, Pascal Nasahl, Stefan Mangard
FIPAC: Thwarting Fault- and Software-Induced Control-Flow Attacks with ARM Pointer Authentication. COSADE (2022)
Pascal Nasahl, Miguel Osorio, Pirmin Vogel, Michael Schaffner, Timothy Trippel, Dominic Rizzo, Stefan Mangard
SYNFI: Pre-Silicon Fault Analysis of an Open-Source Secure Element. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2022 (4) (2022)
Rishub Nagpal, Barbara Gigerl, Robert Primas, Stefan Mangard
Riding the Waves Towards Generic Single-Cycle Masking in Hardware. IACR Cryptol. ePrint Arch. 2022 (2022)
Barbara Gigerl, Robert Primas, Stefan Mangard
Formal Verification of Arithmetic Masking in Hardware and Software. IACR Cryptol. ePrint Arch. 2022 (2022)
Robert Schilling, Pascal Nasahl, Stefan Mangard
FIPAC: Thwarting Fault- and Software-Induced Control-Flow Attacks with ARM Pointer Authentication. CoRR (2021)
Barbara Gigerl, Robert Primas, Stefan Mangard
Secure and Efficient Software Masking on Superscalar Pipelined Processors. ASIACRYPT (2) (2021)
Pascal Nasahl, Robert Schilling, Mario Werner, Stefan Mangard
HECTOR-V: A Heterogeneous CPU Architecture for a Secure RISC-V Execution Environment. AsiaCCS (2021)
Barbara Gigerl, Vedad Hadzic, Robert Primas, Stefan Mangard, Roderick Bloem
Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs. USENIX Security Symposium (2021)
Pascal Nasahl, Robert Schilling, Stefan Mangard
Protecting Indirect Branches Against Fault Attacks Using ARM Pointer Authentication. HOST (2021)
Pascal Nasahl, Robert Schilling, Mario Werner, Jan Hoogerbrugge, Marcel Medwed, Stefan Mangard
CrypTag: Thwarting Physical and Logical Memory Vulnerabilities using Cryptographically Colored Memory. AsiaCCS (2021)
Stefan Steinegger, David Schrammel, Samuel Weiser, Pascal Nasahl, Stefan Mangard
SERVAS! Secure Enclaves via RISC-V Authenticryption Shield. ESORICS (2) (2021)
Robert Schilling, Pascal Nasahl, Stefan Weiglhofer, Stefan Mangard
SecWalk: Protecting Page Table Walks Against Fault Attacks. HOST (2021)
Stefan Steinegger, David Schrammel, Samuel Weiser, Pascal Nasahl, Stefan Mangard
SERVAS! Secure Enclaves via RISC-V Authenticryption Shield. CoRR (2021)
Barbara Gigerl, Robert Primas, Stefan Mangard
Secure and Efficient Software Masking on Superscalar Pipelined Processors. IACR Cryptol. ePrint Arch. 2021 (2021)
Pascal Nasahl, Robert Schilling, Mario Werner, Stefan Mangard
HECTOR-V: A Heterogeneous CPU Architecture for a Secure RISC-V Execution Environment. CoRR (2020)
Moritz Lipp, Michael Schwarz, Daniel Gruss, Thomas Prescher, Werner Haas, Jann Horn, Stefan Mangard, Paul Kocher, Daniel Genkin, Yuval Yarom, Mike Hamburg, Raoul Strackx
Meltdown: reading kernel memory from user space. Commun. ACM 63 (6) (2020)
Christoph Dobraunig, Maria Eichlseder, Stefan Mangard, Florian Mendel, Bart Mennink, Robert Primas, Thomas Unterluggauer
Isap v2.0. IACR Trans. Symmetric Cryptol. 2020 (S1) (2020)
Pascal Nasahl, Robert Schilling, Mario Werner, Jan Hoogerbrugge, Marcel Medwed, Stefan Mangard
CrypTag: Thwarting Physical and Logical Memory Vulnerabilities using Cryptographically Colored Memory. CoRR (2020)
Barbara Gigerl, Vedad Hadzic, Robert Primas, Stefan Mangard, Roderick Bloem
Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs. IACR Cryptol. ePrint Arch. 2020 (2020)
Paul Kocher, Jann Horn, Anders Fogh, Daniel Genkin, Daniel Gruss, Werner Haas, Mike Hamburg, Moritz Lipp, Stefan Mangard, Thomas Prescher, Michael Schwarz, Yuval Yarom
Spectre attacks: exploiting speculative execution. Commun. ACM 63 (7) (2020)
Michael Schwarz, Samuel Weiser, Daniel Gruss, Clémentine Maurice, Stefan Mangard
Malware Guard Extension: abusing Intel SGX to conceal cache attacks. Cybersecur. 3 (1) (2020)
David Schrammel, Samuel Weiser, Stefan Steinegger, Martin Schwarzl, Michael Schwarz, Stefan Mangard, Daniel Gruss
Donky: Domain Keys - Efficient In-Process Isolation for RISC-V and x86. USENIX Security Symposium (2020)
Paul Kocher, Jann Horn, Anders Fogh, Daniel Genkin, Daniel Gruss, Werner Haas, Mike Hamburg, Moritz Lipp, Stefan Mangard, Thomas Prescher, Michael Schwarz, Yuval Yarom
Spectre Attacks: Exploiting Speculative Execution. IEEE Symposium on Security and Privacy (2019)
Mario Werner, Thomas Unterluggauer, Lukas Giner, Michael Schwarz, Daniel Gruss, Stefan Mangard
ScatterCache: Thwarting Cache Attacks via Cache Set Randomization. USENIX Security Symposium (2019)
Thomas Unterluggauer, Mario Werner, Stefan Mangard
MEAS: memory encryption and authentication secure against side-channel attacks. J. Cryptogr. Eng. 9 (2) (2019)
Samuel Weiser, Mario Werner, Ferdinand Brasser, Maja Malenko, Stefan Mangard, Ahmad-Reza Sadeghi
TIMBER-V: Tag-Isolated Memory Bringing Fine-grained Enclaves to RISC-V. NDSS (2019)
Anja F. Karl, Robert Schilling, Roderick Bloem, Stefan Mangard
Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs. VMCAI (2019)
Hannes Groß, Ko Stoffelen, Lauren De Meyer, Martin Krenn, Stefan Mangard
First-Order Masking with Only Two Random Bits. TIS@CCS (2019)
Mario Werner, Robert Schilling, Thomas Unterluggauer, Stefan Mangard
Protecting RISC-V Processors against Physical Attacks. DATE (2019)
Samuel Weiser, Andreas Zankl, Raphael Spreitzer, Katja Miller, Stefan Mangard, Georg Sigl
DATA - Differential Address Trace Analysis: Finding Address-based Side-Channels in Binaries. USENIX Security Symposium (2018)
Robert Schilling, Mario Werner, Stefan Mangard
Securing conditional branches in the presence of fault attacks. DATE (2018)
Hannes Groß, Lauren De Meyer, Martin Krenn, Stefan Mangard
Masking the AES with Only Two Random Bits. IACR Cryptol. ePrint Arch. 2018 (2018)
Raphael Spreitzer, Gerald Palfinger, Stefan Mangard
SCAnDroid: Automated Side-Channel Analysis of Android APIs. WISEC (2018)
Robert Schilling, Mario Werner, Pascal Nasahl, Stefan Mangard
Pointing in the Right Direction - Securing Memory Accesses in a Faulty World. ACSAC (2018)
Roderick Bloem, Hannes Groß, Rinat Iusupov, Bettina Könighofer, Stefan Mangard, Johannes Winter
Formal Verification of Masked Hardware Implementations in the Presence of Glitches. EUROCRYPT (2) (2018)
Moritz Lipp, Michael Schwarz, Daniel Gruss, Thomas Prescher, Werner Haas, Stefan Mangard, Paul Kocher, Daniel Genkin, Yuval Yarom, Mike Hamburg
Meltdown meltdownattack.com (2018)
Christoph Dobraunig, Maria Eichlseder, Thomas Korak, Stefan Mangard, Florian Mendel, Robert Primas
SIFA: Exploiting Ineffective Fault Inductions on Symmetric Cryptography. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2018 (3) (2018)
Mario Werner, Thomas Unterluggauer, David Schaffenrath, Stefan Mangard
Sponge-Based Control-Flow Protection for IoT Devices. EuroS&P (2018)
Christoph Dobraunig, Maria Eichlseder, Thomas Korak, Stefan Mangard, Florian Mendel, Robert Primas
Exploiting Ineffective Fault Inductions on Symmetric Cryptography. IACR Cryptol. ePrint Arch. 2018 (2018)
Roderick Bloem, Hannes Groß, Rinat Iusupov, Martin Krenn, Stefan Mangard
Sharing Independence & Relabeling: Efficient Formal Verification of Higher-Order Masking. IACR Cryptol. ePrint Arch. 2018 (2018)
Christoph Dobraunig, Maria Eichlseder, Hannes Groß, Stefan Mangard, Florian Mendel, Robert Primas
Statistical Ineffective Fault Attacks on Masked AES with Fault Countermeasures. IACR Cryptol. ePrint Arch. 2018 (2018)
Hannes Groß, Stefan Mangard
A unified masking approach. J. Cryptogr. Eng. 8 (2) (2018)
Raphael Spreitzer, Felix Kirchengast, Daniel Gruss, Stefan Mangard
ProcHarvester: Fully Automated Analysis of Procfs Side-Channel Leaks on Android. AsiaCCS (2018)
Robert Schilling, Mario Werner, Pascal Nasahl, Stefan Mangard
Pointing in the Right Direction - Securing Memory Accesses in a Faulty World. CoRR (2018)
Moritz Lipp, Michael Schwarz, Daniel Gruss, Thomas Prescher, Werner Haas, Anders Fogh, Jann Horn, Stefan Mangard, Paul Kocher, Daniel Genkin, Yuval Yarom, Mike Hamburg
Meltdown: Reading Kernel Memory from User Space. USENIX Security Symposium (2018)
Robert Schilling, Thomas Unterluggauer, Stefan Mangard, Frank K. Gürkaynak, Michael Muehlberghuber, Luca Benini
High speed ASIC implementations of leakage-resilient cryptography. DATE (2018)
Michael Schwarz, Moritz Lipp, Daniel Gruss, Samuel Weiser, Clémentine Maurice, Raphael Spreitzer, Stefan Mangard
KeyDrown: Eliminating Software-Based Keystroke Timing Side-Channel Attacks. NDSS (2018)
Samuel Weiser, Andreas Zankl, Raphael Spreitzer, Katja Miller, Stefan Mangard, Georg Sigl
DATA - Differential Address Trace Analysis. Krypto-Tag (2018)
Christoph Dobraunig, Stefan Mangard, Florian Mendel, Robert Primas
Fault Attacks on Nonce-Based Authenticated Encryption: Application to Keyak and Ketje. SAC (2018)
Robert Schilling, Mario Werner, Stefan Mangard
Securing Conditional Branches in the Presence of Fault Attacks. CoRR (2018)
Paul Kocher, Daniel Genkin, Daniel Gruss, Werner Haas, Mike Hamburg, Moritz Lipp, Stefan Mangard, Thomas Prescher, Michael Schwarz, Yuval Yarom
Spectre Attacks: Exploiting Speculative Execution. CoRR (2018)
Mario Werner, Thomas Unterluggauer, David Schaffenrath, Stefan Mangard
Sponge-Based Control-Flow Protection for IoT Devices. CoRR (2018)
Raphael Spreitzer, Veelasha Moonsamy, Thomas Korak, Stefan Mangard
Systematic Classification of Side-Channel Attacks: A Case Study for Mobile Devices. IEEE Commun. Surv. Tutorials 20 (1) (2018)
Paul Kocher, Daniel Genkin, Daniel Gruss, Werner Haas, Mike Hamburg, Moritz Lipp, Stefan Mangard, Thomas Prescher, Michael Schwarz, Yuval Yarom
Spectre Attacks: Exploiting Speculative Execution. meltdownattack.com (2018)
Michael Schwarz, Daniel Gruss, Moritz Lipp, Clémentine Maurice, Thomas Schuster, Anders Fogh, Stefan Mangard
Automated Detection, Exploitation, and Elimination of Double-Fetch Bugs using Modern CPU Features. AsiaCCS (2018)
Christoph Dobraunig, Stefan Mangard, Florian Mendel, Robert Primas
Fault Attacks on Nonce-based Authenticated Encryption: Application to Keyak and Ketje. IACR Cryptol. ePrint Arch. 2018 (2018)
Moritz Lipp, Michael Schwarz, Daniel Gruss, Thomas Prescher, Werner Haas, Stefan Mangard, Paul Kocher, Daniel Genkin, Yuval Yarom, Mike Hamburg
Meltdown. CoRR (2018)
Christoph Dobraunig, Maria Eichlseder, Hannes Groß, Stefan Mangard, Florian Mendel, Robert Primas
Statistical Ineffective Fault Attacks on Masked AES with Fault Countermeasures. ASIACRYPT (2) (2018)
Robert Primas, Peter Pessl, Stefan Mangard
Single-Trace Side-Channel Attacks on Masked Lattice-Based Encryption. CHES (2017)
Christoph Dobraunig, Maria Eichlseder, Stefan Mangard, Florian Mendel, Thomas Unterluggauer
ISAP - Towards Side-Channel Secure Authenticated Encryption. IACR Trans. Symmetric Cryptol. 2017 (1) (2017)
Hannes Groß, Stefan Mangard, Thomas Korak
An Efficient Side-Channel Protected AES Implementation with Arbitrary Protection Order. CT-RSA (2017)
Bernhard Großwindhager, Astrid Rupp, Martin Tappler, Markus Tranninger, Samuel Weiser, Bernhard K. Aichernig, Carlo Alberto Boano, Martin Horn, Gernot Kubin, Stefan Mangard, Martin Steinberger, Kay Römer
Dependable Internet of Things for Networked Cars. Int. J. Comput. 16 (2017)
Michael Schwarz, Clémentine Maurice, Daniel Gruss, Stefan Mangard
Fantastic Timers and Where to Find Them: High-Resolution Microarchitectural Attacks in JavaScript. Financial Cryptography (2017)
Michael Schwarz, Samuel Weiser, Daniel Gruss, Clémentine Maurice, Stefan Mangard
Malware Guard Extension: Using SGX to Conceal Cache Attacks. DIMVA (2017)
Hannes Groß, David Schaffenrath, Stefan Mangard
Higher-Order Side-Channel Protected Implementations of KECCAK. DSD (2017)

Stefan Mangard.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefan Mangard