Publications
You can also find my articles on my Google Scholar profile.
- Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults
Simon Tollec, Vedad Hadzic, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Courousse, Karine Heydemann, Mathieu Jan, Stefan Mangard
2024 IACR Transactions on Cryptographic Hardware and Embedded Systems (CHES) - Beyond the Edges of Kernel Control-Flow Hijacking Protection with HEK-CFI
Lukas Maar, Pascal Nasahl, Stefan Mangard
2024 ACM Asia Conference on Computer and Communications Security (ASIA CCS) - Cryptographically Enforced Memory Safety
Martin Unterguggenberger, David Schrammel, Lukas Lamster, Pascal Nasahl, Stefan Mangard
2023 ACM SIGSAC Conference on Computer and Communications Security (CCS) - Memory Safety and Fault Security Through Cryptography
Pascal Nasahl
2023 PhD Thesis - Multi-Tag: A Hardware-Software Co-Design for Memory Safety based on Multi-Granular Memory Tagging
Martin Unterguggenberger, David Schrammel, Pascal Nasahl, Robert Schilling, Lukas Lamster, Stefan Mangard
2023 ACM Asia Conference on Computer and Communications Security (ASIA CCS) - MEMES: Memory Encryption-based Memory Safety on Commodity Hardware
David Schrammel, Salmin Sultana, Karanvir Grewal, Michael LeMay, David M. Durham, Martin Unterguggenberger, Pascal Nasahl, Stefan Mangard
2023 International Conference on Security and Cryptography (SECRYPT) - SCRAMBLE-CFI: Mitigating Fault-Induced Control-Flow Attacks on OpenTitan
Pascal Nasahl, Stefan Mangard
2023 ACM Great Lakes Symposium on VLSI (GLSVLSI) - EC-CFI: Control-Flow Integrity via Code Encryption Counteracting Fault Attacks
Pascal Nasahl, Salmin Sultana, Hans Liljestrand, Karanvir Grewal, Michael LeMay, David M. Durham, David Schrammel, Stefan Mangard
2023 IEEE International Symposium on Hardware Oriented Security and Trust (HOST) - SCFI: State Machine Control-Flow Hardening Against Fault Attacks
Pascal Nasahl, Martin Unterguggenberger, Rishub Nagpal, Robert Schilling, David Schrammel, Stefan Mangard
2023 Design, Automation & Test in Europe Conference & Exhibition (DATE) - SFP: Providing System Call Flow Protection against Software and Fault Attacks
Robert Schilling, Pascal Nasahl, Martin Unterguggenberger, Stefan Mangard
2022 ACM Hardware and Architectural Support for Security and Privacy (HASP) - SYNFI: Pre-Silicon Fault Analysis of an Open-Source Secure Element
Pascal Nasahl, Miguel Osorio, Pirmin Vogel, Michael Schaffner, Timothy Trippel, Dominic Rizzo, Stefan Mangard
2022 IACR Transactions on Cryptographic Hardware and Embedded Systems (CHES) - FIPAC: Thwarting Fault-and Software-Induced Control-Flow Attacks with ARM Pointer Authentication
Robert Schilling, Pascal Nasahl, Stefan Mangard
2022 Constructive Side-Channel Analysis and Secure Design (COSADE) - SecWalk: Protecting Page Table Walks Against Fault Attacks
Robert Schilling, Pascal Nasahl, Stefan Weiglhofer, Stefan Mangard
2021 IEEE International Symposium on Hardware Oriented Security and Trust (HOST) - Protecting Indirect Branches against Fault Attacks using ARM Pointer Authentication
Pascal Nasahl, Robert Schilling, Stefan Mangard
2021 IEEE International Symposium on Hardware Oriented Security and Trust (HOST) - SERVAS! Secure Enclaves via RISC-V Authenticryption Shield
Stefan Steinegger, David Schrammel, Samuel Weiser, Pascal Nasahl, Stefan Mangard
2021 European Symposium on Research in Computer Security (ESORICS) - CrypTag: Thwarting Physical and Logical Memory Vulnerabilities using Cryptographically Colored Memory
Pascal Nasahl, Robert Schilling, Mario Werner, Jan Hoogerbrugge, Marcel Medwed, Stefan Mangard
2021 ACM Asia Conference on Computer and Communications Security (ASIA CCS) - HECTOR-V: A Heterogeneous CPU Architecture for a Secure RISC-V Execution Environment
Pascal Nasahl, Robert Schilling, Mario Werner, Stefan Mangard
2021 ACM Asia Conference on Computer and Communications Security (ASIA CCS) - Attacking AUTOSAR using Software and Hardware Attacks
Pascal Nasahl, Niek Timmers
2019 Embedded Security in Cars USA (escar) - Pointing in the Right Direction - Securing Memory Accesses in a Faulty World
Robert Schilling, Mario Werner, Pascal Nasahl, Stefan Mangard
2018 Annual Computer Security Applications Conference (ACSAC)