Cover Image

Reproducible Builds and Insights from an Independent Verifier for Arch Linux

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Drexel, Joshua, Hänggi, Esther, Veiga, Iyán Méndez
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Reproducible Builds for Quantum Computing
by: Veiga, Iyán Méndez, et al.
Published: (2025)

randextract: a Reference Library to Test and Validate Privacy Amplification Implementations
by: Veiga, Iyán Méndez, et al.
Published: (2025)

An Efficient Secret Communication Scheme for the Bosonic Wiretap Channel
by: Hänggi, Esther, et al.
Published: (2025)

Security for adversarial wiretap channels
by: Hänggi, Esther, et al.
Published: (2024)

Impossibility of Quantum Private Queries
by: Hänggi, Esther, et al.
Published: (2025)

Lower Bounds for Quantum Secure Function Evaluation Reductions
by: Hänggi, Esther, et al.
Published: (2024)

Towards the Impossibility of Non-Signalling Privacy Amplification from Time-Like Ordering Constraints
by: Arnon, Rotem, et al.
Published: (2012)

Post-Training Local LLM Agents for Linux Privilege Escalation with Verifiable Rewards
by: Normann, Philipp, et al.
Published: (2026)

From CVE Entries to Verifiable Exploits: An Automated Multi-Agent Framework for Reproducing CVEs
by: Ullah, Saad, et al.
Published: (2025)

A Security Analysis of CheriBSD and Morello Linux
by: Guzairov, Dariy, et al.
Published: (2026)

Got Root? A Linux Priv-Esc Benchmark
by: Happe, Andreas, et al.
Published: (2024)

Shufflecake: Plausible Deniability for Multiple Hidden Filesystems on Linux
by: Anzuoni, Elia, et al.
Published: (2023)

Attestable Builds: Compiling Verifiable Binaries on Untrusted Systems using Trusted Execution Environments
by: Hugenroth, Daniel, et al.
Published: (2025)

Identifying Linux Kernel Instability Due to Poor RCU Synchronization
by: Sullivan, Oisin O, et al.
Published: (2025)

JITScanner: Just-in-Time Executable Page Check in the Linux Operating System
by: Caporaso, Pasquale, et al.
Published: (2024)

Characteristics, Root Causes, and Detection of Incomplete Security Bug Fixes in the Linux Kernel
by: Liu, Qiang, et al.
Published: (2025)

Unlocking Reproducibility: Automating re-Build Process for Open-Source Software
by: Hassanshahi, Behnaz, et al.
Published: (2025)

Ransomware: Analysis and Evaluation of Live Forensic Techniques and the Impact on Linux based IoT Systems
by: Korac, Salko, et al.
Published: (2024)

GuardFS: a File System for Integrated Detection and Mitigation of Linux-based Ransomware
by: von der Assen, Jan, et al.
Published: (2024)

Securing Network-Booting Linux Systems at the Example of bwLehrpool and bwForCluster NEMO
by: Moser, Simon
Published: (2024)

Analyzing Vector Register Usage in Linux Packages to Understand Real-World Impact of Downfall Attack
by: Harata, Yohei, et al.
Published: (2026)

VET Your Agent: Towards Host-Independent Autonomy via Verifiable Execution Traces
by: Grigor, Artem, et al.
Published: (2025)

A Study of Malware Prevention in Linux Distributions
by: Vu, Duc-Ly, et al.
Published: (2024)

Time-Delayed Publicly Verifiable Quantum Computation for Classical Verifiers
by: Mohammed, Ameer, et al.
Published: (2026)

Verifiable Differential Privacy
by: Biswas, Ari, et al.
Published: (2022)

LLMs as Hackers: Autonomous Linux Privilege Escalation Attacks
by: Happe, Andreas, et al.
Published: (2023)

Compliance as Code: A Study of Linux Distributions and Beyond
by: Ruohonen, Jukka, et al.
Published: (2026)

A Static Analysis of Popular C Packages in Linux
by: Ruohonen, Jukka, et al.
Published: (2024)

An Investigation of Patch Porting Practices of the Linux Kernel Ecosystem
by: Li, Xingyu, et al.
Published: (2024)

Ransomware Detection Using Machine Learning in the Linux Kernel
by: Brodzik, Adrian, et al.
Published: (2024)

The Art of Building Verifiers for Computer Use Agents
by: Rosset, Corby, et al.
Published: (2026)

Verifiable Weighted Secret Sharing
by: Shehata, Kareem, et al.
Published: (2025)

Verified Foundations for Differential Privacy
by: de Medeiros, Markus, et al.
Published: (2024)

Verifiable Privacy-Preserving Computing
by: Bontekoe, Tariq, et al.
Published: (2023)

Scaling an ISO Compliance Practice: Strategic Insights from Building a \$1m+ Cybersecurity Certification Line
by: Sonkar, Nishant
Published: (2025)

Rethinking Provenance Completeness with a Learning-Based Linux Scheduler
by: Mao, Jinsong, et al.
Published: (2025)

Case Study: Securing MMU-less Linux Using CHERI
by: Almatary, Hesham, et al.
Published: (2023)

Automatic Detection of Reference Counting Bugs in Linux Kernel Drivers
by: Hattori, Joe, et al.
Published: (2026)

AI-Enhanced Ethical Hacking: A Linux-Focused Experiment
by: Al-Sinani, Haitham S., et al.
Published: (2024)

Sandlock: Confining AI Agent Code with Unprivileged Linux Primitives
by: Wang, Cong, et al.
Published: (2026)