Mathias Hall-Andersen

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

Collaborative distances:

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

2024

FRIDA: Data Availability Sampling from FRI.

Mathias Hall-Andersen, Mark Simkin, Benedikt Wagner

IACR Cryptol. ePrint Arch., 2024

Extractable Witness Encryption for KZG Commitments and Efficient Laconic OT.

Nils Fleischhacker, Mathias Hall-Andersen, Mark Simkin

IACR Cryptol. ePrint Arch., 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

2023

Efficient Proofs of Software Exploitability for Real-world Processors.

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

Proc. Priv. Enhancing Technol., January, 2023

Automated Analysis of Halo2 Circuits.

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

IACR Cryptol. ePrint Arch., 2023

Foundations of Data Availability Sampling.

Mathias Hall-Andersen, Mark Simkin, Benedikt Wagner

IACR Cryptol. ePrint Arch., 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

Secure Multiparty Computation with Free Branching.

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

IACR Cryptol. ePrint Arch., 2023

Jackpot: Non-Interactive Aggregatable Lotteries.

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

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

2022

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

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

Proc. Priv. Enhancing Technol., 2022

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

Mathias Hall-Andersen, Jesper Buus Nielsen

IACR Cryptol. ePrint Arch., 2022

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

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

IACR Cryptol. ePrint Arch., 2022

Curve Trees: Practical and Transparent Zero-Knowledge Accumulators.

Matteo Campanelli, Mathias Hall-Andersen

IACR Cryptol. ePrint Arch., 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

2021

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

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

IACR Cryptol. ePrint Arch., 2021

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

Matteo Campanelli, Mathias Hall-Andersen

IACR Cryptol. ePrint Arch., 2021

Count Me In! Extendability for Threshold Ring Signatures.

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

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

nQUIC: Noise-Based QUIC Packet Protection.

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

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