Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Patrick Jauernig

dblp:224/9363 · DBLP profile ↗
← Back
18ranked-venue papers
1as first author
11since 2021 · last 2023
0000-0002-4002-3691ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 12 · 1 first-author · 8 since 2021Systems, architecture and hardware · 6 · 3 since 2021Software engineering, systems software and programming languages · 2 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
11 papers
Hardware security and side channels · 61% Systems and software security · 18% Blockchain and cryptocurrency security · 12%
Software engineering, system software, and programming languages
3 papers
Software testing · 78% Program analysis · 22%
Computer architecture, parallel and distributed computing, and storage systems
4 papers
Cloud and datacenter computing · 67% Electronic design automation · 20% Hardware accelerators and domain-specific architectures · 8%

Topics — the 19 heaviest of 25, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Hardware security and side channels
trusted execution environments
2.352022
VirTEE: a full backward-compatible TEE with native live migration and secure I/O · DAC 2022
CURE: A Security Architecture with CUstomizable and Resilient Enclaves · USENIX Security Symposium 2021
INVITED: AI Utopia or Dystopia - On Securing AI Platforms · DAC 2020
Hardware security and side channels › trusted execution environments
secure enclaves
1.122022
VirTEE: a full backward-compatible TEE with native live migration and secure I/O · DAC 2022
CURE: A Security Architecture with CUstomizable and Resilient Enclaves · USENIX Security Symposium 2021
Software testing
fuzzing
1.022023
DARWIN: Survival of the Fittest Fuzzing Mutators · NDSS 2023
NAUTILUS: Fishing for Deep Bugs with Grammars · NDSS 2019
Blockchain and cryptocurrency security
smart contract
0.712023
POSE: Practical Off-chain Smart Contract Execution · NDSS 2023
Software testing › fuzzing › mutation-based fuzzing
mutation scheduling
0.712023
DARWIN: Survival of the Fittest Fuzzing Mutators · NDSS 2023
Cryptographic protocols and secure computation › key management › public key infrastructure
certificate validation
0.612022
V'CER: Efficient Certificate Validation in Constrained Networks · USENIX Security Symposium 2022
Systems and software security › memory safety
control-flow integrity
0.612022
CFInsight: A Comprehensive Metric for CFI Policies · NDSS 2022
Program analysis
control flow analysis
0.612022
CFInsight: A Comprehensive Metric for CFI Policies · NDSS 2022
Cloud and datacenter computing
virtualization
0.612022
VirTEE: a full backward-compatible TEE with native live migration and secure I/O · DAC 2022
Cloud and datacenter computing › virtualization › virtual machine migration
virtual machine live migration
0.612022
VirTEE: a full backward-compatible TEE with native live migration and secure I/O · DAC 2022
Systems and software security › secure system design
security architecture
0.512021
CURE: A Security Architecture with CUstomizable and Resilient Enclaves · USENIX Security Symposium 2021
Hardware security and side channels › trusted execution environments
ARM TrustZone
0.412019
SANCTUARY: ARMing TrustZone with User-space Enclaves · NDSS 2019
Hardware security and side channels
microarchitectural side channel
0.412019
In Hardware We Trust: Gains and Pains of Hardware-assisted Security · DAC 2019
Hardware security and side channels
physical attacks
0.412019
In Hardware We Trust: Gains and Pains of Hardware-assisted Security · DAC 2019
Software testing › fuzzing
grammar-based fuzzing
0.412019
NAUTILUS: Fishing for Deep Bugs with Grammars · NDSS 2019
Systems and software security › memory safety
memory isolation
0.312018
IMIX: In-Process Memory Isolation EXtension · USENIX Security Symposium 2018
Electronic design automation
hardware verification and test
0.212022
TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities · USENIX Security Symposium 2022
Electronic design automation › hardware verification and test
processor verification
0.212022
TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities · USENIX Security Symposium 2022
Web and mobile security
mobile security
0.112019
SANCTUARY: ARMing TrustZone with User-space Enclaves · NDSS 2019

Methods — techniques the papers use, named apart from their topics

fuzzing · 1.1RISC-V · 1.1in-process isolation · 0.7evolutionary algorithm · 0.7golden-reference model · 0.6golden reference model · 0.6grammar-based fuzzing · 0.4
YearPublicationVenuePosition
2023 POSE: Practical Off-chain Smart Contract Execution
Tommaso Frassetto, Patrick Jauernig, David Koisser, David Kretzler, Benjamin Schlosser, Sebastian Faust, Ahmad-Reza Sadeghi
NDSS2
2023 DARWIN: Survival of the Fittest Fuzzing Mutators
Patrick Jauernig, Domagoj Jakobovic, Stjepan Picek, Emmanuel Stapf, Ahmad-Reza Sadeghi
NDSS1
2022 VirTEE: a full backward-compatible TEE with native live migration and secure I/O
abstract
Modern security architectures provide Trusted Execution Environments (TEEs) to protect critical data and applications against malicious privileged software in so-called enclaves. However, the seamless integration of existing TEEs into the cloud is hindered, as they require substantial adaptation of the software executing inside an enclave as well as the cloud management software to handle enclaved workloads. We tackle these challenges by presenting VirTEE, the first TEE architecture that allows strongly isolated execution of unmodified virtual machines (VMs) in enclaves, as well as secure live migration of VM enclaves between VirTEE-enabled servers. Combined with its secure I/O capabilities, VirTEE enables the integration of enclaved computing in today's complex cloud infrastructure. We thoroughly evaluate our RISC-V-based prototype, and show its effectiveness and efficiency.
Pouya Mahmoody, Ferdinand Brasser, Patrick Jauernig, Ahmad-Reza Sadeghi, Donghui Yu, Dahan Pan, Yuanyuan Zhang 0002
DAC4
2022 SafeTEE: Combining Safety and Security on ARM-based Microcontrollers
abstract
From industry automation to smart home, embedded devices are already ubiquitous, and the number of applications continues to grow rapidly. However, the plethora of embedded devices used in these systems leads to considerable hardware and maintenance costs. To reduce these costs, it is necessary to consolidate applications and functionalities that are currently implemented on individual embedded devices. Especially in mixed-criticality systems, consolidating applications on a single device is highly challenging and requires strong isolation to ensure the security and safety of each application. Existing isolation solutions, such as partitioning designs for ARM-based microcontrollers, do not meet these requirements. In this paper, we present SafeTEE, a novel approach to enable security- and safety-critical applications on a single embedded device. We leverage hardware mechanisms of commercially available ARM-based microcontrollers to strongly isolate applications on individual cores. This makes SafeTEE the first solution to provide strong isolation for multiple applications in terms of security as well as safety. We thoroughly evaluate our prototype of SafeTEE for the most recent ARM microcontrollers using a standard microcontroller benchmark suite.
Martin Schönstedt, Ferdinand Brasser, Patrick Jauernig, Emmanuel Stapf, Ahmad-Reza Sadeghi
DATE3
2022 CFInsight: A Comprehensive Metric for CFI Policies
Tommaso Frassetto, Patrick Jauernig, David Koisser, Ahmad-Reza Sadeghi
NDSS2
2022 RiscyROP: Automated Return-Oriented Programming Attacks on RISC-V and ARM64
abstract
Return-oriented programming (ROP) is a powerful run-time exploitation technique to attack vulnerable software. Modern RISC architectures like RISC-V and ARM64 pose new challenges for ROP execution due to the lack of a stack-based return instruction and strict instruction alignment. Further, the large number of caller-saved argument registers significantly reduces the gadget space available to the attacker. Consequently, existing ROP gadget tools for other processor architectures cannot be applied to these RISC architectures. Previous work on RISC-V provides only manual construction of ROP attacks against specially crafted programs, and no analysis of ROP attacks has been conducted for ARM64 yet.
Tobias Cloosters, David Paaßen, Oussama Draissi, Patrick Jauernig, Emmanuel Stapf, Lucas Davi, Ahmad-Reza Sadeghi
RAID5
2022 TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities
Rahul Kande, Addison Crump, Garrett Persyn, Patrick Jauernig, Ahmad-Reza Sadeghi, Aakash Tyagi, Jeyavijayan Rajendran
USENIX Security Symposium4
2022 V'CER: Efficient Certificate Validation in Constrained Networks
David Koisser, Patrick Jauernig, Gene Tsudik, Ahmad-Reza Sadeghi
USENIX Security Symposium2
2021 GrandDetAuto: Detecting Malicious Nodes in Large-Scale Autonomous Networks
abstract
Autonomous collaborative networks of devices are rapidly emerging in numerous domains, such as self-driving cars, smart factories, critical infrastructure, and Internet of Things in general. Although autonomy and self-organization are highly desired properties, they increase vulnerability to attacks. Hence, autonomous networks need dependable mechanisms to detect malicious devices in order to prevent compromise of the entire network. However, current mechanisms to detect malicious devices either require a trusted central entity or scale poorly.
Tigist Abera, Ferdinand Brasser, Lachlan J. Gunn, Patrick Jauernig, David Koisser, Ahmad-Reza Sadeghi
RAID4
2021 CURE: A Security Architecture with CUstomizable and Resilient Enclaves
Raad Bahmani, Ferdinand Brasser, Ghada Dessouky, Patrick Jauernig, Matthias Klimmek, Ahmad-Reza Sadeghi, Emmanuel Stapf
USENIX Security Symposium4
2021 In Hardware We Trust? From TPM to Enclave Computing on RISC-V
abstract
System-on-Chip platforms have been increasingly extended with trusted computing functionality to provide strong protection for sensitive software applications through enclaves that only require trust in the hardware and minimal software components. However, the deployed enclave architectures are still suffering from various shortcomings such as the lack of secure I/O, or being vulnerable to side-channel attacks. Thus, recent research works propose new enclave architectures with more comprehensive threat models and advanced security features. A majority of these solutions is being developed on the open RISC-V architecture. In this paper, we present a brief overview of the RISC-V-based enclave architectures, discuss their features, limitations and open challenges.
Emmanuel Stapf, Patrick Jauernig, Ferdinand Brasser, Ahmad-Reza Sadeghi
VLSI-SoC2
2020 INVITED: AI Utopia or Dystopia - On Securing AI Platforms
abstract
Today we are witnessing the widespread deployment of AI algorithms on many computing platforms already to provide various services, thus driving the growing market for AI-based platforms. On the one end, AI support is demanded for resource-constrained embedded devices, e.g., integrated into smart homes and vehicles. On the other end, hi-tech giants and cloud services require AI platforms with increasing computational power to feed their data-hungry neural networks. Neglecting security and privacy aspects on both such low-end and high-end AI platforms can have devastating consequences for end users (privacy and safety) as well as for the AI service providers (IP theft). The utopia of a world where intelligent devices ease the human life can easily turn into a dystopia where the ownership of personal data is threatened.In recent years, tremendous effort has been invested in the development of security architectures that protect sensitive services in isolated execution contexts, called enclaves, which provide protection beyond that of commodity operating systems. In this paper, we elaborate on the most well-known enclave-based security architectures to protect AI services. We point out their shortcomings in providing the security guarantees needed for existing and emerging AI services and discuss new ideas and research directions.
Ghada Dessouky, Patrick Jauernig, Nele Mentens, Ahmad-Reza Sadeghi, Emmanuel Stapf
DAC2
2020 Offline Model Guard: Secure and Private ML on Mobile Devices
abstract
Performing machine learning tasks in mobile applications yields a challenging conflict of interest: highly sensitive client information (e.g., speech data) should remain private while also the intellectual property of service providers (e.g., model parameters) must be protected. Cryptographic techniques offer secure solutions for this, but have an unacceptable overhead and moreover require frequent network interaction.In this work, we design a practically efficient hardware-based solution. Specifically, we build OFFLINE MODEL GUARD (OMG) to enable privacy-preserving machine learning on the predominant mobile computing platform ARM—even in offline scenarios. By leveraging a trusted execution environment for strict hardware-enforced isolation from other system components, OMG guarantees privacy of client data, secrecy of provided models, and integrity of processing algorithms. Our prototype implementation on an ARM HiKey 960 development board performs privacy-preserving keyword recognition using TensorFlow Lite for Microcontrollers in real time.
Sebastian P. Bayerl, Tommaso Frassetto, Patrick Jauernig, Korbinian Riedhammer, Ahmad-Reza Sadeghi, Thomas Schneider 0003, Emmanuel Stapf, Christian Weinert
DATE3
2019 In Hardware We Trust: Gains and Pains of Hardware-assisted Security
abstract
Data processing and communication in almost all electronic systems are based on Central Processing Units (CPUs). In order to guarantee confidentiality and integrity of the software running on a CPU, hardware-assisted security architectures are used. However, both the threat model and the non-functional platform requirements, i.e. performance and energy budget, differ when we go from high-end desktop computers and servers to low-end embedded devices that populate the internet of things (IoT). For high-end platforms, a relatively large energy budget is available to protect software against attacks. However, measures to optimize performance give rise to microarchitectural side-channel attacks. IoT devices, in contrast, are constrained in terms of energy consumption and do not incorporate the performance enhancements found in high-end CPUs. Hence, they are less likely to be susceptible to microarchitectural attacks, but give rise to physical attacks, exploiting, e.g., leakage in power consumption or through fault injection. Whereas previous work mostly concentrates on a specific architecture, this paper covers the whole spectrum of computing systems, comparing the corresponding hardware architectures, and most relevant threats.
Lejla Batina, Patrick Jauernig, Nele Mentens, Ahmad-Reza Sadeghi, Emmanuel Stapf
DAC2
2019 NAUTILUS: Fishing for Deep Bugs with Grammars
Cornelius Aschermann, Tommaso Frassetto, Thorsten Holz, Patrick Jauernig, Ahmad-Reza Sadeghi, Daniel Teuchert
NDSS4
2019 SANCTUARY: ARMing TrustZone with User-space Enclaves
Ferdinand Brasser, David Gens, Patrick Jauernig, Ahmad-Reza Sadeghi, Emmanuel Stapf
NDSS3
2019 FastKitten: Practical Smart Contracts on Bitcoin
Poulami Das 0003, Lisa Eckey, Tommaso Frassetto, David Gens, Kristina Hostáková, Patrick Jauernig, Sebastian Faust, Ahmad-Reza Sadeghi
USENIX Security Symposium6
2018 IMIX: In-Process Memory Isolation EXtension
Tommaso Frassetto, Patrick Jauernig, Christopher Liebchen, Ahmad-Reza Sadeghi
USENIX Security Symposium2