All sessions will be held in Room 611-612 unless otherwise noted.
The full Proceedings published by USENIX for the conference are available for download below. Individual papers can also be downloaded from their respective presentation pages. Copyright to the individual works is retained by the author[s].
Proceedings Front Matter
Proceedings Cover |
Title Page, Copyright Page, and List of Organizers |
Message from the Program Co-Chairs | Table of Contents

10:30 am–10:45 am
Opening Remarks and Awards
Program Co-Chairs: Jiska Classen, Hasso Plattner Institute; Alyssa Milburn, Intel
10:45 am–12:00 pm
Hardware Security
Session Chair: Jacob Harrison, Bloomberg
Security through Transparency: Tales from the RP2350 Hacking Challenge
Marius Muench, University of Birmingham; Aedan Cullen and Kévin Courdesses, Independent; Thomas 'stacksmashing' Roth, Hextree; Andrew Zonenberg, IOActive
Security of Microcontroller Units (MCUs) is crucial for the modern computing landscape, as they often provide a root-of-trust to larger systems or are embedded in safety-critical applications. To prevent attackers from running unsigned code, many MCUs implement secure boot mechanisms.
One such MCU is the recently released RP2350, which combines secure boot with additional hardware features to protect against fault injection attacks. In this paper, we demonstrate the possibility of fault injection and secret extraction attacks despite the presence of dedicated countermeasures.
We showcase five different attacks that break the secure boot guarantees of a locked down RP2350 chip. Our attacks leverage voltage, electromagnetic, and laser fault injection techniques. They allow us to bring back disabled CPU cores and debugging ports, boot unverified firmware images, bypass signature verification checks, and provide unprivileged access to sensitive data. We further demonstrate direct extraction of antifuse memory contents using focused ion beam passive voltage contrast. To improve the MCU security landscape, we propose potential mitigations against our attacks and share our lessons learned with the community.
Extraction of Secrets from 40nm CMOS Gate Dielectric Breakdown Antifuses by FIB Passive Voltage Contrast
Andrew D. Zonenberg, Antony Moor, Daniel Slone, Lain Agan, and Mario Cop, IOActive
CMOS one-time-programmable (OTP) memories based on antifuses are widely used for storing small amounts of data (such as serial numbers, keys, and factory trimming) in integrated circuits due to their low cost, requiring no additional mask steps to fabricate.
Device manufacturers and IP vendors have claimed for years that antifuses are a "high security" memory which is significantly more difficult for an attacker to extract data from than other types of memory, such as Flash or mask ROM - however, as our results show, this is untrue.
In this paper, we demonstrate that data bits stored in a widely used antifuse block can be extracted by a semiconductor failure analysis technique known as passive voltage contrast (PVC) using a focused ion beam (FIB). The simple form of the attack demonstrated here recovers the bitwise OR of two physically adjacent memory rows sharing common metal 1 contacts, however we have identified several potential mechanisms by which it may be possible to read the even and odd rows separately.
We demonstrate the attack on a commodity microcontroller made on the 40nm node and show how it can be used to extract significant quantities of sensitive data, such as keys for firmware encryption, in time scales which are very practical for real world exploitation (1 day of sample prep plus a few hours of FIB time) with only a single target device required after initial reconnaissance has been completed on blank devices.
GlitchGlück: Enabling Software Vulnerabilities through Guided Hardware Fault Injection
Zhenyuan Liu, Dillibabu Shanmugam, and Patrick Schaumont, Worcester Polytechnic Institute
While many software vulnerabilities are blamed on software bugs, they can also be caused by hardware fault injection. Traditional fault injection methods rely on blind attacks based on simplified fault models, such as instruction skipping. These attacks require exhaustive experimentation across a wide range of fault parameters, with the methodology inferred solely from faulty outcomes, resulting in limited insight into fault impact and an overall inefficient approach. We present GLITCHGLÜCK, a novel approach that combines a tool for simulating hardware-software interactions with a methodology for guiding fault injection. The tool observes the system via scan-chain-accessible states and constructs the Dynamic State Transition Graph (DSTG), a temporal representation of how software instructions trigger interactions with hardware components. By analyzing the DSTG, GLITCHGLÜCK pinpoints fault injection parameters – such as when, where, and what to fault without relying on predefined fault models – thus avoiding the need for an exhaustive fault parameter search. This targeted, data-driven method bridges the gap between simulation and physical fault observation by using scan-chain. GLITCHGLÜCK is demonstrated on a physical OpenMSP430 ASIC chip with scan-chain support, and validated in simulation on PicoRV32 (RV32I) and IBEX (RV32IM) to confirm its applicability across different instruction set architectures and microarchitectures. We assess the effectiveness of several software countermeasures, such as instruction duplication and pin verification, using layout-aware fault simulations to guide fault attacks via clock glitching and laser-induced faults.
1:30 pm–2:45 pm
Hacking at a Distance
Session Chair: Veelasha Moonsamy, Ruhr University Bochum
Bluetooth Security Testing with BlueToolkit: a Large-Scale Automotive Case Study
Vladyslav Zubkov, ETH Zurich; Tommaso Sacchetti and Daniele Antonioli, EURECOM; Martin Strohmeier, armasuisse Science and Technology
Bluetooth is a wireless data-transfer protocol used by billions of heterogeneous devices, including vehicles, smartphones, and laptops. Bluetooth devices are affected by security issues whose automated large-scale testing is challenging. In this work, we focus on Bluetooth Classic (BC) as there is no comprehensive open-source security testing framework. We fill this gap by designing and implementing BlueToolkit, a new BC security testing framework for automating recon, exploit testing, and report generation. Our tool tests the target over the air using a black-box approach, thus without prior hardware or software configuration knowledge. BlueToolkit tests 44 design and implementation exploits from six databases, including critical Machine-in-the-Middle (MITM), Remote Code Execution (RCE), and Denial of Service (DoS) ones. Moreover, it is extensible via a configuration system based on YAML files, allowing, among others, the integration of future exploits.
Despite the rise of Bluetooth usage in vehicles, its security in the automotive domain has been widely overlooked. We address this challenge using BlueToolkit to perform a comprehensive security assessment of real-world automotive In-Vehicle Infotainment (IVI) units. We evaluate 22 vehicles produced between 2016 and 2023 from 14 leading manufacturers. Each car underwent up to 44 tests, including design and implementation attacks, resulting in a total of 891 tests and 128 vulnerabilities. We also present four attacks we discovered during the experiments with the help of BlueToolkit. Our evaluation demonstrates that automotive Bluetooth security posture is inadequate and that BlueToolkit is effective in real-world use cases. We responsibly disclosed our findings to all affected vendors and open-sourced BlueToolkit.
No Key, No Problem: Vulnerabilities in Master Lock Smart Locks
Chengsong Diao, Danielle Dang, Sierra Lira, Angela Tsai, Miro Haller, and Nadia Heninger, UC San Diego
Smart locks are an increasingly popular and critical component of smart homes due to their convenience and efficiency compared to traditional locks. In this paper, we conduct an in-depth analysis of one smart lock product, the Master Lock Deadbolt D1000.
We reverse engineer the Master Lock Vault Enterprise Android app, analyze their proprietary communication protocols, and discover several vulnerabilities:
- Replay attacks can allow unauthenticated unlocking;
- Former guests can continue unlocking the lock after their access should have expired;
- Malicious users can arbitrarily extend temporary access and lock other users out;
- Attackers can forge audit events and prevent authentic events from being uploaded to the telemetry servers;
- Malformed Bluetooth Low Energy (BLE) messages can result in a Denial of Service (DoS) as well as memory leaks and corruptions.
Making Acoustic Side-Channel Attacks on Noisy Keyboards Viable with LLM-Assisted Spectrograms' "Typo" Correction
Seyyed Ali Ayati and Jin Hyun Park, Texas A&M University; Yichen Cai, University of Toronto; Marcus Botacin, Texas A&M University
The large integration of microphones into devices increases the opportunities for Acoustic Side-Channel Attacks (ASCAs), as these can be used to capture keystrokes' audio signals that might reveal sensitive information. However, the current State-Of-The-Art (SOTA) models for ASCAs, including Convolutional Neural Networks (CNNs) and hybrid models, such as CoAtNet, still exhibit limited robustness under realistic noisy conditions. Solving this problem requires either: (i) an increased model's capacity to infer contextual information from longer sequences, allowing the model to learn that an initially noisily typed word is the same as a futurely collected non-noisy word, or (ii) an approach to fix misidentified information from the contexts, as one does not type random words, but the ones that best fit the conversation context. In this paper, we demonstrate that both strategies are viable and complementary solutions for making ASCAs practical. We observed that no existing solution leverages advanced transformer architectures' power for these tasks and propose that: (i) Visual Transformers (VTs) are the candidate solutions for capturing long-term contextual information and (ii) transformer-powered Large Language Models (LLMs) are the candidate solutions to fix the "typos" (mispredictions) the model might make. Thus, we here present the first-of-its-kind approach that integrates VTs and LLMs for ASCAs.
We first show that VTs achieve SOTA performance in classifying keystrokes when compared to the previous CNN benchmark. Second, we demonstrate that LLMs can mitigate the impact of real-world noise. Evaluations on the natural sentences revealed that: (i) incorporating LLMs (e.g., GPT-4o) in our ASCA pipeline boosts the performance of error-correction tasks; and (ii) the comparable performance can be attained by a lightweight, fine-tuned smaller LLM (67 times smaller than GPT-4o), using Low-Rank Adaptation (LoRA). Our results and findings highlight the practical viability of our solution toward effective ASCA.
2:45 pm–3:15 pm
Coffee and Tea Break
6ABC Lobby
3:15 pm–4:30 pm
Network Security
Session Chair: Torsten Krauß, University of Würzburg
DeepRed: A Deep Learning–Powered Command and Control Framework for Multi-Stage Red Teaming Against ML-based Network Intrusion Detection Systems
Mehrdad Hajizadeh and Pegah Golchin, Technische Universität Chemnitz; Ehsan Nowroozi, Centre for Sustainable Cyber Security (CS2), University of Greenwich; Maria Rigaki, Veronica Valeros, and Sebastian García, Czech Technical University in Prague; Mauro Conti, University of Padua; Thomas Bauschert, Technische Universität Chemnitz
Emerging studies demonstrate that machine learning (ML) has the potential to improve the detection capabilities of network intrusion detection systems (NIDS) against evolving cyber threats. However, recent adversarial ML (AML) studies have revealed critical ML vulnerabilities. This paper presents innovative multistage red-teaming techniques to evaluate the robustness of ML-NIDS in real-world adversarial settings. Although extensive research has been conducted in this area, existing studies have critical shortcomings: (1) relying on unrealistic threat models, (2) focusing on traffic flow perturbation for evasion while neglecting that malicious activity occurs at the packet level, and (3) failing to preserve attack functionality after perturbation.
Guided by offensive security principles, we present DeepRed, an ML-powered Command and Control (C2) framework designed to evade targeted ML-NIDS while maintaining a stealthy post-exploitation communication channel. DeepRed leverages Generative Adversarial Networks (GANs) to generate adversarial examples that comply with TCP/IP constraints and are realizable as packet-level perturbations. We further propose two novel attack strategies, Single-Packet Single-Feature (SPSF) and Single-Feature Perturbation (SFP), to achieve evasion under highly constrained conditions with minimal perturbation. To enable robust evaluation, we built a comprehensive ML-NIDS benchmarking dataset containing benign and malicious traffic from our red-team exercises. Additionally, we introduce pipeline-independent adversarial testing to evaluate state-of-the-art models, such as FlowTransformer and SSCL-IDS, across varying features, training data, and preprocessing pipelines—while preserving attack functionality. Results demonstrate that DeepRed can reduce detection rates by up to 20%, highlighting the framework’s ability to bypass ML-NIDS while maintaining operational integrity.
Stealth BGP Hijacks with uRPF Filtering
Haya Schulmann, Goethe-Universität Frankfurt and National Research Center for Applied Cybersecurity ATHENE; Shujie Zhao, Technische Universität Darmstadt and Fraunhofer SIT
Unicast Reverse Path Forwarding (uRPF) is the primary and the standard Source Address Validation (SAV) mechanism to combat IP spoofing and mitigate Denial-of-Service (DoS) and other attacks. However, in this study, we reveal a critical and previously unexplored vulnerability in uRPF that adversaries can stealthily exploit through Border Gateway Protocol (BGP) hijacking. We introduce Stealthy BGP Attack against uRPF (SBA-uRPF), a novel attack vector that leverages prefix hijacking to manipulate uRPF filtering decisions, resulting in the unintended blocking of legitimate traffic and the facilitation of persistent DoS attacks. Due to its hidden nature, SBA-uRPF attacks could pose a significant and persistent security risk.
Through extensive simulation-based analysis, we demonstrate that 99.3% of networks are vulnerable to SBA-uRPF under a full deployment of uRPF, with a potential maximum impact affecting over 59,115 networks (76.3%). Unlike conventional BGP hijacks, which often result in noticeable routing anomalies, SBA-uRPF remains undetectable to the affected networks, making it a particularly dangerous threat. The attack exploits BGP routing loop prevention and customer-preferred routing policies to induce widespread traffic blackholing of victim networks. We show that adversaries can also target fundamental Internet systems, such as DNS, or Internet services, like the web.
Our findings reveal a fundamental weakness in the global routing ecosystem, where a security mechanism designed to prevent attacks can be subverted and turned into an attack vector. We discuss countermeasures, including improvements to BGP security mechanisms such as Route Origin Validation (ROV) and BGPsec. We also consider the challenges in mitigating SBA-uRPF in real-world deployments, and the need for more comprehensive approaches, including solutions involving deployment strategies for uRPF.
Our code and datasets are available at https://github. com/zsjstart/Stealthy-uRPF-Attack/tree/v1.1.0.
FUZZVPN: Finding Vulnerabilities in OpenVPN
Anqi Chen and Cristina Nita-Rotaru, Northeastern University
OpenVPN is one of the most widely used VPN protocols, allowing for a connection to be securely proxied through another computer. Due to the protocol's critical role in securing communications, it is essential that OpenVPN remains robust against attacks. Previous work has discovered vulnerabilities in OpenVPN, revealing its susceptibility to denial of service, the potential for flow fingerprinting, and the risk of VPN protection being bypassed through operating system exploits or TCP connection hijacking.
In this work, we take a systematic approach to finding attacks by inferring the protocol's specification. We study OpenVPN configured with both the UDP and TCP variants. Given that no standard exists and specification is sparse, we first construct a detailed message sequence chart of the protocol handshake under the UDP and TCP modes, respectively. We use this information to perform systematic adversarial testing with malformed configurations, replay attacks, denial-of-service, resilience to acknowledgments-related attacks, and packet value modifications based on protocol semantics.
We found several new attacks: two new denial-of-service attacks due to the replay of control and acknowledgment packets, the incorrect handling of input validation for 17 protocol configuration options, a scenario where due to an inconsistent view of the state of the connection, the server sends data prematurely to the client causing the client to ignore it, and a scenario where a malicious client configured with weaker authentication can degrade the performance of a victim client configured with stronger authentication.
9:00 am–10:15 am
Physical Attacks
Session Chair: Andrew Zonenberg, IOActive
Be Write Back: An in-depth Study of Fault Injection Effects on FRAM Technology
Valentin Huber and Marc Schink, Fraunhofer Institute for Applied and Integrated Security (AISEC)
Ferroelectric random access memory (FRAM) corruption has primarily been investigated in the context of safety for space applications and the associated radiation. In this work, we present the first in-depth analysis of the effects of fault injection on FRAM technology from a security perspective. This includes the identification of potentially vulnerable signals in the control circuit. Based on a theoretical consideration of possible weak points, we carry out practical attacks on external memory devices from different manufacturers. After a detailed analysis, we demonstrate the feasibility of this attack on an FRAM-based microcontroller, namely the MSP430FR. We show how the write-back operation, an FRAM intrinsic operation, can be exploited to reactivate the debug interface of the microcontroller. The attack can be carried out in less than a minute and with modest equipment costs, highlighting its practicability. Based on our analysis, we conclude with different mitigations that manufacturers can implement to enhance security.
Reality Check on Side-Channels: Lessons learnt from breaking AES on ARM Cortex-A72 processor with Out-of-Order Execution
Harishma Boyapally and Dirmanto Jap, Temasek Laboratories, Nanyang Technological University, Singapore; and National integrated Centre For Evaluation, Nanyang Technological University, Singapore; Qianmei Wu, School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore; and School of Cyber Science and Technology, College of Computer Science and Technology, Zhejiang University, China; Fan Zhang, School of Cyber Science and Technology, College of Computer Science and Technology, Zhejiang University, China; Shivam Bhasin, Temasek Laboratories, Nanyang Technological University, Singapore; and National integrated Centre For Evaluation, Nanyang Technological University, Singapore
Side-channel analysis (SCA) has posed a significant threat to systems for nearly three decades. Numerous practical demonstrations have targeted everyday devices, such as smart cards, cryptocurrency wallets, and smartphones. However, much of the research in the public domain has focused on low-end microcontrollers, limiting our understanding of the challenges involved in attacking more complex systems. In this work, we conduct a reality check on SCA by targeting a high-performance ARM Cortex-A72 out-of-order processor, commonly found in smartphones. We evaluate the practical effort required for key recovery attacks, considering various threat models, from basic to advanced. Our results show that while basic approaches fail, advanced approaches like deep learning-based SCA can successfully recover the secret key. This multi-tier evaluation approach is crucial for comprehensive risk assessment and informed decision-making regarding mitigation strategies, balancing security, performance, and area constraints.
Oops, It Halted Again: Exploiting PLC Memory for Fun and Profit in Industrial Control Systems
Wooyeon Jo and Irfan Ahmed, Virginia Commonwealth University
Programmable Logic Controllers (PLCs) are critical to industrial control systems (ICS), yet their memory remains a prime target for exploitation. While traditional attacks focus on network intrusions, PLC memory manipulation enables sophisticated attacks, such as malicious process control and supply chain backdoors. Existing security measures, including intrusion detection systems (IDS), fail to detect these threats, necessitating a systematic approach to analyzing and exploiting PLC memory. This paper presents a machine learning-driven framework for PLC memory exploitation, identifying critical regions vulnerable to unauthorized access and manipulation. Using extracted features such as entropy-based and structural characteristics, we classify PLC memory into exploitable segments, including metadata and control logic. Our method enables precise targeting of PLC memory for adversarial access, injection, and modification, operating independently of PLC-specific semantics. By training on an M221 PLC, we demonstrate its generalization across architectures, successfully exploiting PLCs with distinct instruction sets. We evaluate our approach on three PLCs from two vendors, actively probing memory to elicit responses such as accept, deny, halt, and compromise. The results expose inconsistencies in memory protections across PLC architectures, reinforcing the need for improved memory integrity in ICS environments. As part of our research, we identified and disclosed a critical PLC memory vulnerability (CVE-2024-11737)
10:15 am–10:45 am
Coffee and Tea Break
6ABC Lobby
10:45 am–12:00 pm
Application Security
Session Chair: Yves Younan, Cisco Talos
Prekey Pogo: Investigating Security and Privacy Issues in WhatsApp's Handshake Mechanism
Gabriel Karl Gegenhuber, University of Vienna and UniVie Doctoral School Computer Science; Philipp É. Frenzel, SBA Research; Maximilian Günther and Aljosha Judmayer, University of Vienna
WhatsApp, the world’s largest messaging application, uses a version of the Signal protocol to provide end-to-end encryption (E2EE) with strong security guarantees, including Perfect Forward Secrecy (PFS). To ensure PFS right from the start of a new conversation—even when the recipient is offline—a stash of ephemeral (one-time) prekeys must be stored on a server. While the critical role of these one-time prekeys in achieving PFS has been outlined in the Signal specification, we are the first to demonstrate a targeted depletion attack against them on individual WhatsApp user devices. Our findings not only reveal an attack that can degrade PFS for certain messages, but also expose inherent privacy risks and serious availability implications arising from the refilling and distribution procedure essential for this security mechanism.
Comma Separated Vulnerabilities: Detecting Formula Injection in the Wild
Manuel Karl, Louis Bettels, Martin Johns, and David Klein, Technische Universität Braunschweig
Comma-Separated Values (CSV) is one of the premier data exchange formats due to its simplicity and software independence. Once humans want to analyze the contained data, they import the CSV file into a spreadsheet application, such as Microsoft Excel. Spreadsheet applications are used across many sensitive industries or government sectors for financial, supply chain, or human resources management tasks.
In this work, we investigate the prevalence of formula injection, an overlooked security risk. This vulnerability class abuses the lack of separation between data and text in the CSV format to inject malicious formulas that are evaluated on import. Consequences of such an attack range from data exfiltration to remote code execution. To assess the severity of this threat, we first analyzed eight spreadsheet applications for formulas usable for nefarious purposes and four libraries for their provided security protections, of which there are none. This lack of security mechanisms means applications have to actively defend against formula injection. To determine whether they do so, and to study the prevalence of formula injection vulnerabilities in open-source Java applications, we propose a static analysis tool, CSVScan, that detects user-controlled input reaching CSV exports.
We uncover eight applications containing code patterns at risk for formula injection patterns. Out of those, four are vulnerable in realistic scenarios, allowing unprivileged users to attack users with higher privileges.
Extract: A PHP Foot-Gun Case Study
Jannik Hartung, Simon Koch, and Martin Johns, Technische Universität Braunschweig
Awarded Best Paper!
The extract call in PHP poses a similar threat to the security of a PHP application, if used naively, as the register_globals configuration that has been removed from PHP in version 5.3. We provide an attack analysis of its usage, showing the impact that unsafe usage can have. To understand how the security impact of extract manifests, we conduct a large-scale static analysis of 28325 open-source PHP projects to detect its insecure usage. Subsequently, we investigate each detected potentially vulnerable call manually to assess its security implications for the surrounding project and discover a total of 154 injection vulnerabilities and 86 CFG high jacking threats, including 60 privilege escalations. Thus demonstrating the danger of extract. As our final contribution, we discuss multiple paths forward for PHP to mitigate the dangers of this call.
1:30 pm–2:45 pm
Exploit All the Things
Session Chair: Cristine Hoepers, CERT.br
SecurePoC: A Helping Hand to Identify Malicious CVE Proof of Concept Exploits in GitHub
Soufian El Yadmani, LIACS, Leiden University, and Modat; Robin The and Olga Gadyatskaya, LIACS, Leiden University
Exploit proof-of-concepts (PoCs) for known vulnerabilities are widely shared in the security industry. They help security analysts to learn from each other and facilitate security assessments and red teaming tasks. In recent years, PoCs have been widely distributed, e.g., via dedicated websites and platforms, and also via public code repositories such as GitHub. However, there is no guarantee that publicly shared PoCs come from trustworthy sources or even that they do what they are supposed to do. Security researchers and practitioners have widely reported cases of malicious PoCs that aim to attack the analyst utilizing them.
In this work, we propose a tool called SecurePoC that can help security analysts to triage GitHub-hosted PoCs and identify malicious ones. To design and evaluate the tool, we have collected a large dataset of 20,433 unique GitHub-hosted PoC repositories for CVEs issued in 2016-2024. Our analysis shows that approximately 2.5% of these repositories are likely malicious. This shows that security analysts need to attentively scrutinize the PoCs they intend to use. Our SecurePoC can become an efficient and effective aide in triaging these PoCs.
SoK: Automating Kernel Vulnerability Discovery and Exploit Generation
Anil Kurmus, Andrea Mambretti, and Alessandro Sorniotti, IBM Research Europe – Zurich; Vincent Lenders, Damian Pfammatter, and Bernhard Tellenbach, armasuisse – Cyber-Defence Campus
Operating systems (OS) underpin modern IT infrastructure from computers, to smartphones and cloud servers. The OS kernels of these systems are central to their security. Yet their inherent complexity results in a broad attack surface and frequent vulnerabilities, often targeted for denial of service, privilege escalation, or information leakage. While static analysis and fuzzing tools can detect defects in OS kernels, distinguishing exploitable vulnerabilities from benign bugs typically requires manual exploit development, a process that remains labor-intensive. Over the past three decades, attackers have increasingly automated parts of this process, culminating in recent advances in automated exploit generation (AEG) powered by program analysis techniques such as symbolic execution. However, applying these techniques to large complex systems such as OS kernels continues to be challenging. This paper sheds light on the main reasons why it remains challenging to automate exploit generation in OS kernels. We systematize the current knowledge of attacks against kernels in categories, going beyond memory corruption attacks, as well as the relevant threat models and tools used. We categorize existing work along this model to show that gaps exist in many areas. Our analysis helps us identify open problems, in particular the lack of reproducibility across different kernel versions due to the large code base and changing APIs which renders comparisons between different papers difficult. Finally, we propose a set of recommendations for future work in this area.
BOOTKITTY: A Stealthy Bootkit-Rootkit Against Modern Operating Systems
Junho Lee, Mokpo National University; Jihoon Kwon, Korea University; HyunA Seo, Sungshin Women's University; Myeongyeol Lee, Chosun University; Hyungyu Seo, Keimyung University; Jinho Jung, Ministry of National Defense; Hyungjoon Koo, Sungkyunkwan University
Bootkits and rootkits are among the most elusive and persistent forms of malware, subverting system defenses by operating at the lowest levels of system architecture. Bootkits compromise the firmware or bootloader, allowing them to manipulate the boot sequence and gain control before security mechanisms initialize. Meanwhile, rootkits embed themselves within the OS kernel, stealthily conceal malicious activities, and maintain long-term persistence. Despite their critical implications for security, these threats remain underexplored due to the technical complexity involved in their study, the scarcity of real-world samples, and the challenges posed by defense-in-depth security in modern OSes.
In this paper, we introduce BOOTKITTY, a hybrid bootkit-rootkit capable of circumventing modern security features in multiple OS platforms, across Windows, Linux, and Android. We explore critical firmware and bootloader vulnerabilities that can lead to a low-level compromise, demonstrating techniques that bypass advanced security protections by breaking the chain of trust. Our study addresses technical challenges such as exploiting UEFI drivers, manipulating kernel memory, and evading advanced mitigations in the boot process, and provides actionable insights. Our systematic evaluations show that BOOTKITTY reveals critical weaknesses in contemporary security mechanisms, highlighting the need for better security design that offers holistic (low-level) protection.
2:45 pm–3:15 pm
Coffee and Tea Break
6ABC Lobby
3:15 pm–4:15 pm
Keynote Presentation
Escaping Cantor's Find-Fix Cycle
Falcon Darkstar Momot, Dartmouth College
What if it was bug classes, and not bugs, that were short-lived? By going back to the original formal understandings of computing, we can understand why we keep finding the same kinds of bugs in different places over and over. The first step in understanding how to break out lies not with developers or tooling, but with us. One seeks to understand why security bugs get introduced in general, for which I begin proposing a framework-in-progress of meta-classes of bugs. A LangSec lens shows us unique ways out of each.

Falcon Darkstar Momot, M.Sc., MBA, B.Acc., is a (very recent) student working on LangSec in the Trust Lab at Dartmouth College. They are also the product security manager of the multi-cloud managed database company Aiven, and previously worked in penetration testing for a decade. They are a local Seattle hacker, and just flew in from BSidesLV and DEF CON.
4:30 pm–6:00 pm
WOOT '25 Demo/Poster Session and Happy Hour
Room 615-617
