Pascal Nasahl

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 27

Top Topics

Execution Environment

Semi Fragile Watermarking

Top Venues

IACR Trans. Cryptogr. Hardw. Embed. Syst.

Publications

Lukas Maar, Pascal Nasahl, Stefan Mangard
Beyond the Edges of Kernel Control-Flow Hijacking Protection with HEK-CFI. AsiaCCS (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)
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)
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)
Pascal Nasahl, Stefan Mangard
SCRAMBLE-CFI: Mitigating Fault-Induced Control-Flow Attacks on OpenTitan. ACM Great Lakes Symposium on VLSI (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)
Pascal Nasahl, Stefan Mangard
SCRAMBLE-CFI: Mitigating Fault-Induced Control-Flow Attacks on OpenTitan. CoRR (2023)
Robert Schilling, Pascal Nasahl, Martin Unterguggenberger, Stefan Mangard
SFP: Providing System Call Flow Protection against Software and Fault Attacks. HASP@MICRO (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)
Pascal Nasahl, Martin Unterguggenberger, Rishub Nagpal, Robert Schilling, David Schrammel, Stefan Mangard
SCFI: State Machine Control-Flow Hardening Against Fault Attacks. CoRR (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)
Robert Schilling, Pascal Nasahl, Stefan Mangard
FIPAC: Thwarting Fault- and Software-Induced Control-Flow Attacks with ARM Pointer Authentication. CoRR (2021)
Pascal Nasahl, Robert Schilling, Mario Werner, Stefan Mangard
HECTOR-V: A Heterogeneous CPU Architecture for a Secure RISC-V Execution Environment. AsiaCCS (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)
Pascal Nasahl, Robert Schilling, Mario Werner, Stefan Mangard
HECTOR-V: A Heterogeneous CPU Architecture for a Secure RISC-V Execution Environment. CoRR (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)
Robert Schilling, Mario Werner, Pascal Nasahl, Stefan Mangard
Pointing in the Right Direction - Securing Memory Accesses in a Faulty World. ACSAC (2018)
Robert Schilling, Mario Werner, Pascal Nasahl, Stefan Mangard
Pointing in the Right Direction - Securing Memory Accesses in a Faulty World. CoRR (2018)