Mathias Hall-Andersen

41 papers A* 2A 2B 1Journal 26Unranked 10
YearRankTypeTitle / Venue / Authors
2025 A conf
Short Paper: Curve Forests - Transparent Zero-Knowledge Set Membership with Batching and Strong Security.
FC
Matteo Campanelli, Mathias Hall-Andersen, Simon Holmgaard Kamp
2025 J jnl
Silent Threshold Encryption with One-Shot Adaptive Security.
IACR Cryptol. ePrint Arch.
Mathias Hall-Andersen, Mark Simkin, Benedikt Wagner
2024 J jnl
Curve Forests: Transparent Zero-Knowledge Set Membership with Batching and Strong Security.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Mathias Hall-Andersen, Simon Holmgaard Kamp
2024 A* conf
Dora: A Simple Approach to Zero-Knowledge for RAM Programs.
CCS
Aarushi Goel, Mathias Hall-Andersen, Gabriel Kaptchuk
2024 — conf
Extractable Witness Encryption for KZG Commitments and Efficient Laconic OT.
ASIACRYPT (2)
Nils Fleischhacker, Mathias Hall-Andersen, Mark Simkin
2024 J jnl
Extractable Witness Encryption for KZG Commitments and Efficient Laconic OT.
IACR Cryptol. ePrint Arch.
Nils Fleischhacker, Mathias Hall-Andersen, Mark Simkin
2024 — conf
FRIDA: Data Availability Sampling from FRI.
CRYPTO (6)
Mathias Hall-Andersen, Mark Simkin, Benedikt Wagner
2024 J jnl
FRIDA: Data Availability Sampling from FRI.
IACR Cryptol. ePrint Arch.
Mathias Hall-Andersen, Mark Simkin, Benedikt Wagner
2024 J jnl
Foundations of Data Availability Sampling.
IACR Commun. Cryptol.
Mathias Hall-Andersen, Mark Simkin, Benedikt Wagner
2024 J jnl
Fully-Succinct Arguments over the Integers from First Principles.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Mathias Hall-Andersen
2024 — conf
Jackpot: Non-interactive Aggregatable Lotteries.
ASIACRYPT (6)
Nils Fleischhacker, Mathias Hall-Andersen, Mark Simkin, Benedikt Wagner
2023 — conf
Automated Analysis of Halo2 Circuits.
SMT
Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand
2023 J jnl
Automated Analysis of Halo2 Circuits.
IACR Cryptol. ePrint Arch.
Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand
2023 A* conf
Curve Trees: Practical and Transparent Zero-Knowledge Accumulators.
USENIX Security Symposium
Matteo Campanelli, Mathias Hall-Andersen, Simon Holmgaard Kamp
2023 J jnl
Dora: Processor Expressiveness is (Nearly) Free in Zero-Knowledge for RAM Programs.
IACR Cryptol. ePrint Arch.
Aarushi Goel, Mathias Hall-Andersen, Gabriel Kaptchuk
2023 J jnl
Efficient Proofs of Software Exploitability for Real-world Processors.
Proc. Priv. Enhancing Technol.
Matthew Green, Mathias Hall-Andersen, Eric Hennenfent, Gabriel Kaptchuk, Benjamin Perez, Gijs Van Laer
2023 J jnl
Foundations of Data Availability Sampling.
IACR Cryptol. ePrint Arch.
Mathias Hall-Andersen, Mark Simkin, Benedikt Wagner
2023 J jnl
Jackpot: Non-Interactive Aggregatable Lotteries.
IACR Cryptol. ePrint Arch.
Nils Fleischhacker, Mathias Hall-Andersen, Mark Simkin, Benedikt Wagner
2023 — conf
On Valiant's Conjecture - Impossibility of Incrementally Verifiable Computation from Random Oracles.
EUROCRYPT (2)
Mathias Hall-Andersen, Jesper Buus Nielsen
2023 J jnl
Secure Multiparty Computation with Free Branching.
IACR Cryptol. ePrint Arch.
Aarushi Goel, Mathias Hall-Andersen, Aditya Hegde, Abhishek Jain
2023 — conf
Speed-Stacking: Fast Sublinear Zero-Knowledge Proofs for Disjunctions.
EUROCRYPT (2)
Aarushi Goel, Mathias Hall-Andersen, Gabriel Kaptchuk, Nicholas Spooner
2022 — conf
Count Me In! Extendability for Threshold Ring Signatures.
Public Key Cryptography (2)
Diego F. Aranha, Mathias Hall-Andersen, Anca Nitulescu, Elena Pagnin, Sophia Yakoubov
2022 J jnl
Curve Trees: Practical and Transparent Zero-Knowledge Accumulators.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Mathias Hall-Andersen
2022 J jnl
Efficient Proofs of Software Exploitability for Real-world Processors.
IACR Cryptol. ePrint Arch.
Matthew Green, Mathias Hall-Andersen, Eric Hennenfent, Gabriel Kaptchuk, Benjamin Perez, Gijs Van Laer
2022 J jnl
Efficient Set Membership Proofs using MPC-in-the-Head.
Proc. Priv. Enhancing Technol.
Aarushi Goel, Matthew Green, Mathias Hall-Andersen, Gabriel Kaptchuk
2022 J jnl
On Valiant's Conjecture: Impossibility of Incrementally Verifiable Computation from Random Oracles.
IACR Cryptol. ePrint Arch.
Mathias Hall-Andersen, Jesper Buus Nielsen
2022 — conf
Secure Multiparty Computation with Free Branching.
EUROCRYPT (1)
Aarushi Goel, Mathias Hall-Andersen, Aditya Hegde, Abhishek Jain
2022 J jnl
Speed-Stacking: Fast Sublinear Zero-Knowledge Proofs for Disjunctions.
IACR Cryptol. ePrint Arch.
Aarushi Goel, Mathias Hall-Andersen, Gabriel Kaptchuk, Nicholas Spooner
2022 — conf
Stacking Sigmas: A Framework to Compose $\varSigma $-Protocols for Disjunctions.
EUROCRYPT (2)
Aarushi Goel, Matthew Green, Mathias Hall-Andersen, Gabriel Kaptchuk
2022 A conf
Veksel: Simple, Efficient, Anonymous Payments with Large Anonymity Sets from Well-Studied Assumptions.
AsiaCCS
Matteo Campanelli, Mathias Hall-Andersen
2021 J jnl
Count Me In! Extendability for Threshold Ring Signatures.
IACR Cryptol. ePrint Arch.
Diego F. Aranha, Mathias Hall-Andersen, Anca Nitulescu, Elena Pagnin, Sophia Yakoubov
2021 J jnl
Efficient Set Membership Proofs using MPC-in-the-Head.
IACR Cryptol. ePrint Arch.
Aarushi Goel, Matthew Green, Mathias Hall-Andersen, Gabriel Kaptchuk
2021 B conf
Game Theory on the Blockchain: A Model for Games with Smart Contracts.
SAGT
Mathias Hall-Andersen, Nikolaj I. Schwartzbach
2021 J jnl
Game theory on the blockchain: a model for games with smart contracts.
CoRR
Mathias Hall-Andersen, Nikolaj I. Schwartzbach
2021 J jnl
Stacking Sigmas: A Framework to Compose Σ-Protocols for Disjunctions.
IACR Cryptol. ePrint Arch.
Aarushi Goel, Matthew Green, Mathias Hall-Andersen, Gabriel Kaptchuk
2021 J jnl
Veksel: Simple, Efficient, Anonymous Payments with Large Anonymity Sets from Well-Studied Assumptions.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Mathias Hall-Andersen
2019 J jnl
FastSwap: Concretely Efficient Contingent Payments for Complex Predicates.
IACR Cryptol. ePrint Arch.
Mathias Hall-Andersen
2019 J jnl
nQUIC: Noise-Based QUIC Packet Protection.
IACR Cryptol. ePrint Arch.
Mathias Hall-Andersen, David Wong, Nick Sullivan, Alishah Chator
2018 J jnl
Generating Graphs Packed with Paths Estimation of Linear Approximations and Differentials.
IACR Trans. Symmetric Cryptol.
Mathias Hall-Andersen, Philip S. Vejre
2018 J jnl
Generating Graphs Packed with Paths.
IACR Cryptol. ePrint Arch.
Mathias Hall-Andersen, Philip S. Vejre
2018 — conf
nQUIC: Noise-Based QUIC Packet Protection.
EPIQ@CoNEXT
Mathias Hall-Andersen, David Wong, Nick Sullivan, Alishah Chator