Pascal Nasahl

28 papers A* 1A 6C 1Journal 13Unranked 7
YearRankTypeTitle / Venue / Authors
2024 A conf
Beyond the Edges of Kernel Control-Flow Hijacking Protection with HEK-CFI.
AsiaCCS
Lukas Maar, Pascal Nasahl, Stefan Mangard
2024 J jnl
Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults.
IACR Cryptol. ePrint Arch.
Simon Tollec, Vedad Hadzic, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard
2024 J jnl
Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Simon Tollec, Vedad Hadzic, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard
2023 A* conf
Cryptographically Enforced Memory Safety.
CCS
Martin Unterguggenberger, David Schrammel, Lukas Lamster, Pascal Nasahl, Stefan Mangard
2023 — conf
EC-CFI: Control-Flow Integrity via Code Encryption Counteracting Fault Attacks.
HOST
Pascal Nasahl, Salmin Sultana, Hans Liljestrand, Karanvir Grewal, Michael LeMay, David M. Durham, David Schrammel, Stefan Mangard
2023 J jnl
EC-CFI: Control-Flow Integrity via Code Encryption Counteracting Fault Attacks.
CoRR
Pascal Nasahl, Salmin Sultana, Hans Liljestrand, Karanvir Grewal, Michael LeMay, David M. Durham, David Schrammel, Stefan Mangard
2023 C conf
MEMES: Memory Encryption-Based Memory Safety on Commodity Hardware.
SECRYPT
David Schrammel, Salmin Sultana, Karanvir Grewal, Michael LeMay, David M. Durham, Martin Unterguggenberger, Pascal Nasahl, Stefan Mangard
2023 A conf
Multi-Tag: A Hardware-Software Co-Design for Memory Safety based on Multi-Granular Memory Tagging.
AsiaCCS
Martin Unterguggenberger, David Schrammel, Pascal Nasahl, Robert Schilling, Lukas Lamster, Stefan Mangard
2023 A conf
SCFI: State Machine Control-Flow Hardening Against Fault Attacks.
DATE
Pascal Nasahl, Martin Unterguggenberger, Rishub Nagpal, Robert Schilling, David Schrammel, Stefan Mangard
2023 — conf
SCRAMBLE-CFI: Mitigating Fault-Induced Control-Flow Attacks on OpenTitan.
ACM Great Lakes Symposium on VLSI
Pascal Nasahl, Stefan Mangard
2023 J jnl
SCRAMBLE-CFI: Mitigating Fault-Induced Control-Flow Attacks on OpenTitan.
CoRR
Pascal Nasahl, Stefan Mangard
2023 J jnl
SFP: Providing System Call Flow Protection against Software and Fault Attacks.
CoRR
Robert Schilling, Pascal Nasahl, Martin Unterguggenberger, Stefan Mangard
2022 — conf
FIPAC: Thwarting Fault- and Software-Induced Control-Flow Attacks with ARM Pointer Authentication.
COSADE
Robert Schilling, Pascal Nasahl, Stefan Mangard
2022 J jnl
SCFI: State Machine Control-Flow Hardening Against Fault Attacks.
CoRR
Pascal Nasahl, Martin Unterguggenberger, Rishub Nagpal, Robert Schilling, David Schrammel, Stefan Mangard
2022 — conf
SFP: Providing System Call Flow Protection against Software and Fault Attacks.
HASP@MICRO
Robert Schilling, Pascal Nasahl, Martin Unterguggenberger, Stefan Mangard
2022 J jnl
SYNFI: Pre-Silicon Fault Analysis of an Open-Source Secure Element.
CoRR
Pascal Nasahl, Miguel Osorio, Pirmin Vogel, Michael Schaffner, Timothy Trippel, Dominic Rizzo, Stefan Mangard
2022 J jnl
SYNFI: Pre-Silicon Fault Analysis of an Open-Source Secure Element.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Pascal Nasahl, Miguel Osorio, Pirmin Vogel, Michael Schaffner, Timothy Trippel, Dominic Rizzo, Stefan Mangard
2021 A conf
CrypTag: Thwarting Physical and Logical Memory Vulnerabilities using Cryptographically Colored Memory.
AsiaCCS
Pascal Nasahl, Robert Schilling, Mario Werner, Jan Hoogerbrugge, Marcel Medwed, Stefan Mangard
2021 J jnl
FIPAC: Thwarting Fault- and Software-Induced Control-Flow Attacks with ARM Pointer Authentication.
CoRR
Robert Schilling, Pascal Nasahl, Stefan Mangard
2021 A conf
HECTOR-V: A Heterogeneous CPU Architecture for a Secure RISC-V Execution Environment.
AsiaCCS
Pascal Nasahl, Robert Schilling, Mario Werner, Stefan Mangard
2021 — conf
Protecting Indirect Branches Against Fault Attacks Using ARM Pointer Authentication.
HOST
Pascal Nasahl, Robert Schilling, Stefan Mangard
2021 — conf
SERVAS! Secure Enclaves via RISC-V Authenticryption Shield.
ESORICS (2)
Stefan Steinegger, David Schrammel, Samuel Weiser, Pascal Nasahl, Stefan Mangard
2021 J jnl
SERVAS! Secure Enclaves via RISC-V Authenticryption Shield.
CoRR
Stefan Steinegger, David Schrammel, Samuel Weiser, Pascal Nasahl, Stefan Mangard
2021 — conf
SecWalk: Protecting Page Table Walks Against Fault Attacks.
HOST
Robert Schilling, Pascal Nasahl, Stefan Weiglhofer, Stefan Mangard
2020 J jnl
CrypTag: Thwarting Physical and Logical Memory Vulnerabilities using Cryptographically Colored Memory.
CoRR
Pascal Nasahl, Robert Schilling, Mario Werner, Jan Hoogerbrugge, Marcel Medwed, Stefan Mangard
2020 J jnl
HECTOR-V: A Heterogeneous CPU Architecture for a Secure RISC-V Execution Environment.
CoRR
Pascal Nasahl, Robert Schilling, Mario Werner, Stefan Mangard
2018 A conf
Pointing in the Right Direction - Securing Memory Accesses in a Faulty World.
ACSAC
Robert Schilling, Mario Werner, Pascal Nasahl, Stefan Mangard
2018 J jnl
Pointing in the Right Direction - Securing Memory Accesses in a Faulty World.
CoRR
Robert Schilling, Mario Werner, Pascal Nasahl, Stefan Mangard