Mario Lins

dblp:360/6117 · DBLP profile ↗
← Back
3ranked-venue papers
2as first author
3since 2021 · last 2026
0000-0003-1713-3347ORCID · corroborated

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

Security and privacy · 3 · 2 first-author · 3 since 2021
YearPublicationVenuePosition
2026 Firmware Transparency: Strengthening Security Guarantees Against Bootloader-Targeting Attacks
Mario Lins, René Mayrhofer, David Zeuthen
ACNS (3)1
2025 Unveiling the Critical Attack Path for Implanting Backdoors in Supply Chains: Practical Experience from XZ
Mario Lins, René Mayrhofer, Michael Roland 0001
CANS1
2025 Attestable Builds: Compiling Verifiable Binaries on Untrusted Systems using Trusted Execution Environments
abstract
In this paper we present attestable builds, a new paradigm to provide strong source-to-binary correspondence in software artifacts. We tackle the challenge of opaque build pipelines that disconnect the trust between source code, which can be understood and audited, and the final binary artifact which is difficult to inspect. Our system uses modern trusted execution environments (TEEs) and sandboxed build containers to provide strong guarantees that a given artifact was correctly built from a specific source code snapshot. As such it complements existing approaches like reproducible builds which typically require time-intensive modifications to existing build configurations and dependencies, and require independent parties to continuously build and verify artifacts. In comparison, an attestable build requires only minimal changes to an existing project, and offers nearly instantaneous verification of the correspondence between a given binary and the source code and build pipeline used to construct it. We evaluate it by building open-source software libraries - focusing on projects which are important to the trust chain and have proven difficult to be built deterministically. The overhead (42 seconds start-up latency and 14% increase in build duration) is small in comparison to the overall build time. Importantly, our prototype can build complex projects such as LLVM Clang without requiring any modifications to their source code and build scripts. Finally, we formally model and verify the attestable build design to demonstrate its security against well-resourced adversaries.
Daniel Hugenroth, Mario Lins, René Mayrhofer, Alastair R. Beresford
CCS2