Pascal Nasahl

According to our database, Pascal Nasahl authored at least 16 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults.

Simon Tollec, Vedad Hadzic, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard

IACR Cryptol. ePrint Arch., 2024

2023

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

Proceedings of the 20th International Conference on Security and Cryptography, 2023

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

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2023

SCRAMBLE-CFI: Mitigating Fault-Induced Control-Flow Attacks on OpenTitan.

Pascal Nasahl, Stefan Mangard

Proceedings of the Great Lakes Symposium on VLSI 2023, 2023

SCFI: State Machine Control-Flow Hardening Against Fault Attacks.

Pascal Nasahl, Martin Unterguggenberger, Rishub Nagpal, Robert Schilling, David Schrammel, Stefan Mangard

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Cryptographically Enforced Memory Safety.

Martin Unterguggenberger, David Schrammel, Lukas Lamster, Pascal Nasahl, Stefan Mangard

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

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

Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023

2022

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

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022

SFP: Providing System Call Flow Protection against Software and Fault Attacks.

Robert Schilling, Pascal Nasahl, Martin Unterguggenberger, Stefan Mangard

Proceedings of the 11th International Workshop on Hardware and Architectural Support for Security and Privacy, 2022

FIPAC: Thwarting Fault- and Software-Induced Control-Flow Attacks with ARM Pointer Authentication.

Robert Schilling, Pascal Nasahl, Stefan Mangard

Proceedings of the Constructive Side-Channel Analysis and Secure Design, 2022

2021

SecWalk: Protecting Page Table Walks Against Fault Attacks.

Robert Schilling, Pascal Nasahl, Stefan Weiglhofer, Stefan Mangard

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2021

Protecting Indirect Branches Against Fault Attacks Using ARM Pointer Authentication.

Pascal Nasahl, Robert Schilling, Stefan Mangard

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2021

SERVAS! Secure Enclaves via RISC-V Authenticryption Shield.

Stefan Steinegger, David Schrammel, Samuel Weiser, Pascal Nasahl, Stefan Mangard

Proceedings of the Computer Security - ESORICS 2021, 2021

HECTOR-V: A Heterogeneous CPU Architecture for a Secure RISC-V Execution Environment.

Pascal Nasahl, Robert Schilling, Mario Werner, Stefan Mangard

Proceedings of the ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, 2021

CrypTag: Thwarting Physical and Logical Memory Vulnerabilities using Cryptographically Colored Memory.

Pascal Nasahl, Robert Schilling, Mario Werner, Jan Hoogerbrugge, Marcel Medwed, Stefan Mangard

Proceedings of the ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, 2021

2018

Pointing in the Right Direction - Securing Memory Accesses in a Faulty World.

Robert Schilling, Mario Werner, Pascal Nasahl, Stefan Mangard

Proceedings of the 34th Annual Computer Security Applications Conference, 2018