Mathias Hall-Andersen

According to our database, Mathias Hall-Andersen authored at least 26 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Silent Threshold Encryption with One-Shot Adaptive Security.

Mathias Hall-Andersen, Mark Simkin, Benedikt Wagner

IACR Cryptol. ePrint Arch., 2025

2024

Curve Forests: Transparent Zero-Knowledge Set Membership with Batching and Strong Security.

Matteo Campanelli, Mathias Hall-Andersen, Simon Holmgaard Kamp

IACR Cryptol. ePrint Arch., 2024

Fully-Succinct Arguments over the Integers from First Principles.

Matteo Campanelli, Mathias Hall-Andersen

IACR Cryptol. ePrint Arch., 2024

Foundations of Data Availability Sampling.

Mathias Hall-Andersen, Mark Simkin, Benedikt Wagner

IACR Commun. Cryptol., 2024

FRIDA: Data Availability Sampling from FRI.

Mathias Hall-Andersen, Mark Simkin, Benedikt Wagner

Proceedings of the Advances in Cryptology - CRYPTO 2024, 2024

Dora: A Simple Approach to Zero-Knowledge for RAM Programs.

Aarushi Goel, Mathias Hall-Andersen, Gabriel Kaptchuk

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

Jackpot: Non-interactive Aggregatable Lotteries.

Nils Fleischhacker, Mathias Hall-Andersen, Mark Simkin, Benedikt Wagner

Proceedings of the Advances in Cryptology - ASIACRYPT 2024, 2024

Extractable Witness Encryption for KZG Commitments and Efficient Laconic OT.

Nils Fleischhacker, Mathias Hall-Andersen, Mark Simkin

Proceedings of the Advances in Cryptology - ASIACRYPT 2024, 2024

2023

Dora: Processor Expressiveness is (Nearly) Free in Zero-Knowledge for RAM Programs.

Aarushi Goel, Mathias Hall-Andersen, Gabriel Kaptchuk

IACR Cryptol. ePrint Arch., 2023

Curve Trees: Practical and Transparent Zero-Knowledge Accumulators.

Matteo Campanelli, Mathias Hall-Andersen, Simon Holmgaard Kamp

Proceedings of the 32nd USENIX Security Symposium, 2023

Automated Analysis of Halo2 Circuits.

Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand

Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), 2023

On Valiant's Conjecture - Impossibility of Incrementally Verifiable Computation from Random Oracles.

Mathias Hall-Andersen, Jesper Buus Nielsen

Proceedings of the Advances in Cryptology - EUROCRYPT 2023, 2023

Speed-Stacking: Fast Sublinear Zero-Knowledge Proofs for Disjunctions.

Aarushi Goel, Mathias Hall-Andersen, Gabriel Kaptchuk, Nicholas Spooner

Proceedings of the Advances in Cryptology - EUROCRYPT 2023, 2023

2022

Curve Trees: Practical and Transparent Zero-Knowledge Accumulators.

Matteo Campanelli, Mathias Hall-Andersen

IACR Cryptol. ePrint Arch., 2022

Efficient Proofs of Software Exploitability for Real-world Processors.

Matthew Green, Mathias Hall-Andersen, Eric Hennenfent, Gabriel Kaptchuk, Benjamin Perez, Gijs Van Laer

IACR Cryptol. ePrint Arch., 2022

Count Me In! Extendability for Threshold Ring Signatures.

Diego F. Aranha, Mathias Hall-Andersen, Anca Nitulescu, Elena Pagnin, Sophia Yakoubov

Proceedings of the Public-Key Cryptography - PKC 2022, 2022

Secure Multiparty Computation with Free Branching.

Aarushi Goel, Mathias Hall-Andersen, Aditya Hegde, Abhishek Jain

Proceedings of the Advances in Cryptology - EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30, 2022

Stacking Sigmas: A Framework to Compose $\varSigma $-Protocols for Disjunctions.

Aarushi Goel, Matthew Green, Mathias Hall-Andersen, Gabriel Kaptchuk

Proceedings of the Advances in Cryptology - EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30, 2022

Veksel: Simple, Efficient, Anonymous Payments with Large Anonymity Sets from Well-Studied Assumptions.

Matteo Campanelli, Mathias Hall-Andersen

Proceedings of the ASIA CCS '22: ACM Asia Conference on Computer and Communications Security, Nagasaki, Japan, 30 May 2022, 2022

2021

Efficient Set Membership Proofs using MPC-in-the-Head.

Aarushi Goel, Matthew Green, Mathias Hall-Andersen, Gabriel Kaptchuk

IACR Cryptol. ePrint Arch., 2021

Stacking Sigmas: A Framework to Compose Σ-Protocols for Disjunctions.

Aarushi Goel, Matthew Green, Mathias Hall-Andersen, Gabriel Kaptchuk

IACR Cryptol. ePrint Arch., 2021

Game Theory on the Blockchain: A Model for Games with Smart Contracts.

Mathias Hall-Andersen, Nikolaj I. Schwartzbach

Proceedings of the Algorithmic Game Theory - 14th International Symposium, 2021

2019

FastSwap: Concretely Efficient Contingent Payments for Complex Predicates.

Mathias Hall-Andersen

IACR Cryptol. ePrint Arch., 2019

2018

Generating Graphs Packed with Paths Estimation of Linear Approximations and Differentials.

Mathias Hall-Andersen, Philip S. Vejre

IACR Trans. Symmetric Cryptol., 2018

Generating Graphs Packed with Paths.

Mathias Hall-Andersen, Philip S. Vejre

IACR Cryptol. ePrint Arch., 2018

nQUIC: Noise-Based QUIC Packet Protection.

Mathias Hall-Andersen, David Wong, Nick Sullivan, Alishah Chator

Proceedings of the Workshop on the Evolution, 2018