6 citations · 7 across the 4 of their papers we have counts for
4 papers
Attestable Audits: Verifiable AI Safety Benchmarks Using Trusted Execution Environments
Christoph Schnabl, Daniel Hugenroth, Bill Marino +1
Benchmarks are important measures to evaluate safety and compliance of AI models at scale. However, they typically do not offer verifiable results and lack confidentiality for mode…
Attestable Builds: Compiling Verifiable Binaries on Untrusted Systems using Trusted Execution Environments
Daniel Hugenroth, Mario Lins, René Mayrhofer +1
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 pipeline…
SoK: Web Authentication in the Age of End-to-End Encryption
Jenny Blessing, Daniel Hugenroth, Ross J. Anderson +1
The advent of end-to-end encrypted (E2EE) messaging and backup services has brought new challenges for usable authentication. Compared to regular web services, the nature of E2EE i…
Pudding: Private User Discovery in Anonymity Networks
Ceren Kocaoğullar, Daniel Hugenroth, Martin Kleppmann +1
Anonymity networks allow messaging with metadata privacy, providing better privacy than popular encrypted messaging applications. However, contacting a user on an anonymity network…