Pascal Nasahl

Pascal Nasahl

Senior Hardware/Software Engineer

lowRISC

Biography

Currently, I am a security engineer at lowRISC. Before that, I obtained my hardware security PhD in the Secure Systems (SESYS) group at IAIK, Graz University of Technology. My research interests include designing secure systems, with a focus on secure processor designs. Here, I am interested in developing countermeasures for software and physical attacks, such as fault attacks. During my academic career, I conducted research internships at Google, Intel Labs, and Riscure.

Interests

  • System Security
  • Fault Attacks
  • Hardware Design

Education

  • PhD in Computer Science, 2023

    Graz University of Technology

  • MSc in Information and Computer Engineering, 2019

    Graz University of Technology

  • BSc in Information and Computer Engineering, 2016

    Graz University of Technology

Publications

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
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)