Lukas Gerlach
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
25
Venues
15
Active years
2015–2026
Best venue rank
A*
Where they publish
Papers
25 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | EDBT | Declarative Debugging for Datalog with Aggregation. | Raimund Dachselt, Lukas Gerlach, Philipp Hanisch, Alex Ivliev, Markus Krtzsch, Maximilian Marx, Julin Mndez |
| 2026 | KR | The Chase in Lean - Crafting a Formal Library for Existential Rule Research. | Lukas Gerlach |
| 2026 | SP | Crucible: Retrofitting Commodity CPUs with Vulnerabilities via Transparent Software Emulation. | Tristan Hornetz, Lukas Gerlach, Michael Schwarz |
| 2026 | SP | TDXRay: Microarchitectural Side-Channel Analysis of Intel TDX for Real-World Workloads. | Tristan Hornetz, Hosein Yavarzadeh, Albert Cheu, Adri Gascn, Lukas Gerlach, Daniel Moghimi, Phillipp Schoppmann, Michael Schwarz, Ruiyi Zhang |
| 2025 | ASPLOS | ShadowLoad: Injecting State into Hardware Prefetchers. | Lorenz Hetterich, Fabian Thomas, Lukas Gerlach, Ruiyi Zhang, Nils Bernsdorf, Eduard Ebert, Michael Schwarz |
| 2025 | CCS | RISCover: Automatic Discovery of User-exploitable Architectural Security Vulnerabilities in Closed-Source RISC-V CPUs. | Fabian Thomas, Eric Garca Arribas, Lorenz Hetterich, Daniel Weber, Lukas Gerlach, Ruiyi Zhang, Michael Schwarz |
| 2025 | DIMVA | Taming the Linux Memory Allocator for Rapid Prototyping. | Ruiyi Zhang, Tristan Hornetz, Lukas Gerlach, Michael Schwarz |
| 2025 | FC | Do Compilers Break Constant-Time Guarantees? | Lukas Gerlach, Robert Pietsch, Michael Schwarz |
| 2025 | FC | Lixom: Protecting Encryption Keys with Execute-Only Memory. | Tristan Hornetz, Lukas Gerlach, Michael Schwarz |
| 2025 | ITP | Verifying Datalog Reasoning with Lean. | Johannes Tantow, Lukas Gerlach, Stephan Mennicke, Markus Krtzsch |
| 2025 | KR | About the Multi-Head Linear Restricted Chase Termination. | Lukas Gerlach, Lucas Larroque, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja |
| 2025 | NDSS | Cascading Spy Sheets: Exploiting the Complexity of Modern CSS for Email and Browser Fingerprinting. | Leon Trampert, Daniel Weber, Lukas Gerlach, Christian Rossow, Michael Schwarz |
| 2025 | WWW | Peripheral Instinct: How External Devices Breach Browser Sandboxes. | Leon Trampert, Lorenz Hetterich, Lukas Gerlach, Mona Schappert, Christian Rossow, Michael Schwarz |
| 2025 | SP | Rapid Reversing of Non-Linear CPU Cache Slice Functions: Unlocking Physical Address Leakage. | Mikka Rainer, Lorenz Hetterich, Fabian Thomas, Tristan Hornetz, Leon Trampert, Lukas Gerlach, Michael Schwarz |
| 2024 | ACSAC | No Leakage Without State Change: Repurposing Configurable CPU Exceptions to Prevent Microarchitectural Attacks. | Daniel Weber, Leonard Niemann, Lukas Gerlach, Jan Reineke, Michael Schwarz |
| 2024 | IJCAI | Finite Groundings for ASP with Functions: A Journey through Consistency. | Lukas Gerlach, David Carral, Markus Hecher |
| 2024 | KR | Nemo: Your Friendly and Versatile Rule Reasoning Toolkit. | Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krtzsch |
| 2024 | SP | Efficient and Generic Microarchitectural Hash-Function Recovery. | Lukas Gerlach, Simon Schwarz, Nicolas Faro, Michael Schwarz |
| 2023 | AAAI | General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase. | Lukas Gerlach, David Carral |
| 2023 | ESORICS | A Rowhammer Reproduction Study Using the Blacksmith Fuzzer. | Lukas Gerlach, Fabian Thomas, Robert Pietsch, Michael Schwarz |
| 2023 | ESORICS | Indirect Meltdown: Building Novel Side-Channel Attacks from Transient-Execution Attacks. | Daniel Weber, Fabian Thomas, Lukas Gerlach, Ruiyi Zhang, Michael Schwarz |
| 2023 | ESORICS | Reviving Meltdown 3a. | Daniel Weber, Fabian Thomas, Lukas Gerlach, Ruiyi Zhang, Michael Schwarz |
| 2023 | KR | Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination. | Lukas Gerlach, David Carral |
| 2023 | SP | A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs. | Lukas Gerlach, Daniel Weber, Ruiyi Zhang, Michael Schwarz |
| 2015 | DATE | FLINT: layout-oriented FPGA-based methodology for fault tolerant ASIC design. | Rochus Nowosielski, Lukas Gerlach, Stephan Bieband, Guillermo Pay-Vay, Holger Blume |