Benedikt Wagner

According to our database, Benedikt Wagner authored at least 42 papers between 2019 and 2025.

Collaborative distances:

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

2025

Robust Distributed Arrays: Provably Secure Networking for Data Availability Sampling.

Dankrad Feist, Gottfried Herold, Mark Simkin, Benedikt Wagner

CoRR, April, 2025

A Practical Tutorial on Explainable AI Techniques.

Adrien Bennetot, Ivan Donadello, Ayoub El Qadi, Mauro Dragoni, Thomas Frossard, Benedikt Wagner, Anna Saranti, Silvia Tulli, Maria Trocan, Raja Chatila, Andreas Holzinger, Artur d'Avila Garcez, Natalia Díaz Rodríguez

ACM Comput. Surv., February, 2025

Proving the Security of PeerDAS without the AGM.

Benedikt Wagner, Arantxa Zapico

IACR Cryptol. ePrint Arch., 2025

Data Matching in Unequal Worlds and Applications to Smart Contracts.

Dmitry Khovratovich, Mikhail Vladimirov, Benedikt Wagner

IACR Cryptol. ePrint Arch., 2025

Silent Threshold Encryption with One-Shot Adaptive Security.

Mathias Hall-Andersen, Mark Simkin, Benedikt Wagner

IACR Cryptol. ePrint Arch., 2025

Technical Note: LeanSig for Post-Quantum Ethereum.

Justin Drake, Dmitry Khovratovich, Mikhail A. Kudinov, Benedikt Wagner

IACR Cryptol. ePrint Arch., 2025

Hash-Based Multi-Signatures for Post-Quantum Ethereum.

Justin Drake, Dmitry Khovratovich, Mikhail A. Kudinov, Benedikt Wagner

IACR Commun. Cryptol., 2025

Sublinear-Round Broadcast without Trusted Setup.

Andreea B. Alexandru, Julian Loss, Charalampos Papamanthou, Giorgos Tsimos, Benedikt Wagner

Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms, 2025

Kleptographic Attacks Against Implicit Rejection.

Antoine Joux, Julian Loss, Benedikt Wagner

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

At the Top of the Hypercube - Better Size-Time Tradeoffs for Hash-Based Signatures.

Dmitry Khovratovich, Mikhail A. Kudinov, Benedikt Wagner

Proceedings of the Advances in Cryptology - CRYPTO 2025, 2025

T-Spoon: Tightly Secure Two-Round Multi-signatures with Key Aggregation.

Renas Bacho, Benedikt Wagner

Proceedings of the Advances in Cryptology - CRYPTO 2025, 2025

2024

Generic constructions of master-key KDM secure attribute-based encryption.

Jiaxin Pan, Chen Qian, Benedikt Wagner

Des. Codes Cryptogr., January, 2024

Techniques for highly efficient and secure interactive signatures.

Benedikt Wagner

PhD thesis, 2024

A Documentation of Ethereum's PeerDAS.

Benedikt Wagner, Arantxa Zapico

IACR Cryptol. ePrint Arch., 2024

Tightly Secure Threshold Signatures over Pairing-Free Groups.

Renas Bacho, Benedikt Wagner

IACR Cryptol. ePrint Arch., 2024

Foundations of Data Availability Sampling.

Mathias Hall-Andersen, Mark Simkin, Benedikt Wagner

IACR Commun. Cryptol., 2024

Sweep-UC: Swapping Coins Privately.

Lucjan Hanzlik, Julian Loss, Sri Aravinda Krishnan Thyagarajan, Benedikt Wagner

Proceedings of the IEEE Symposium on Security and Privacy, 2024

Toothpicks: More Efficient Fork-Free Two-Round Multi-signatures.

Jiaxin Pan, Benedikt Wagner

Proceedings of the Advances in Cryptology - EUROCRYPT 2024, 2024

A Holistic Security Analysis of Monero Transactions.

Cas Cremers, Julian Loss, Benedikt Wagner

Proceedings of the Advances in Cryptology - EUROCRYPT 2024, 2024

Twinkle: Threshold Signatures from DDH with Full Adaptive Security.

Renas Bacho, Julian Loss, Stefano Tessaro, Benedikt Wagner, Chenzhi Zhu

Proceedings of the Advances in Cryptology - EUROCRYPT 2024, 2024

FRIDA: Data Availability Sampling from FRI.

Mathias Hall-Andersen, Mark Simkin, Benedikt Wagner

Proceedings of the Advances in Cryptology - CRYPTO 2024, 2024

Practical Blind Signatures in Pairing-Free Groups.

Michael Klooß, Michael Reichle, Benedikt Wagner

Proceedings of the Advances in Cryptology - ASIACRYPT 2024, 2024

Jackpot: Non-interactive Aggregatable Lotteries.

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

Proceedings of the Advances in Cryptology - ASIACRYPT 2024, 2024

Tightly Secure Non-interactive BLS Multi-signatures.

Renas Bacho, Benedikt Wagner

Proceedings of the Advances in Cryptology - ASIACRYPT 2024, 2024

HARTS: High-Threshold, Adaptively Secure, and Robust Threshold Schnorr Signatures.

Renas Bacho, Julian Loss, Gilad Stern, Benedikt Wagner

Proceedings of the Advances in Cryptology - ASIACRYPT 2024, 2024

2023

Generic Constructions of Compact and Tightly Selective-Opening Secure Public-key Encryption Schemes.

Jiaxin Pan, Benedikt Wagner, Runzhi Zeng

IACR Cryptol. ePrint Arch., 2023

Token meets Wallet: Formalizing Privacy and Revocation for FIDO2.

Lucjan Hanzlik, Julian Loss, Benedikt Wagner

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Chopsticks: Fork-Free Two-Round Multi-signatures from Non-interactive Assumptions.

Jiaxin Pan, Benedikt Wagner

Proceedings of the Advances in Cryptology - EUROCRYPT 2023, 2023

Rai-Choo! Evolving Blind Signatures to the Next Level.

Lucjan Hanzlik, Julian Loss, Benedikt Wagner

Proceedings of the Advances in Cryptology - EUROCRYPT 2023, 2023

Lattice-Based Authenticated Key Exchange with Tight Security.

Jiaxin Pan, Benedikt Wagner, Runzhi Zeng

Proceedings of the Advances in Cryptology - CRYPTO 2023, 2023

Tighter Security for Generic Authenticated Key Exchange in the QROM.

Jiaxin Pan, Benedikt Wagner, Runzhi Zeng

Proceedings of the Advances in Cryptology - ASIACRYPT 2023, 2023

2022

Reasoning about what has been learned: Neural-Symbolic integration for explainable artificial intelligence.

Benedikt Wagner

PhD thesis, 2022

PI-Cut-Choo! Parallel Instance Cut and Choose for Practical Blind Signatures.

Benedikt Wagner, Lucjan Hanzlik, Julian Loss

IACR Cryptol. ePrint Arch., 2022

FIDO2 With Two Displays - Or How to Protect Security-Critical Web Transactions Against Malware Attacks.

Timon Hackenjos, Benedikt Wagner, Julian Herr, Jochen Rill, Marek Wehmer, Niklas Goerke, Ingmar Baumgart

CoRR, 2022

Lattice-Based Signatures with Tight Adaptive Corruptions and More.

Jiaxin Pan, Benedikt Wagner

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

PI-Cut-Choo and Friends: Compact Blind Signatures via Parallel Instance Cut-and-Choose and More.

Rutchathon Chairattana-Apirom, Lucjan Hanzlik, Julian Loss, Anna Lysyanskaya, Benedikt Wagner

Proceedings of the Advances in Cryptology - CRYPTO 2022, 2022

Neural-Symbolic Reasoning Under Open-World and Closed-World Assumptions.

Benedikt Wagner, Artur S. d'Avila Garcez

Proceedings of the AAAI 2022 Spring Symposium on Machine Learning and Knowledge Engineering for Hybrid Intelligence (AAAI-MAKE 2022), 2022

2021

A historical perspective of explainable Artificial Intelligence.

Roberto Confalonieri, Ludovik Coba, Benedikt Wagner, Tarek R. Besold

WIREs Data Mining Knowl. Discov., 2021

Neural-Symbolic Integration for Interactive Learning and Conceptual Grounding.

Benedikt Wagner, Artur S. d'Avila Garcez

CoRR, 2021

Short Identity-Based Signatures with Tight Security from Lattices.

Jiaxin Pan, Benedikt Wagner

Proceedings of the Post-Quantum Cryptography - 12th International Workshop, 2021

Neural-Symbolic Integration for Fairness in AI.

Benedikt Wagner, Artur S. d'Avila Garcez

Proceedings of the AAAI 2021 Spring Symposium on Combining Machine Learning and Knowledge Engineering (AAAI-MAKE 2021), 2021

2019

Understanding Counterexamples for Relational Properties with DIbugger.

Mihai Herda, Michael Kirsten, Etienne Brunner, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier, Benedikt Wagner, Pascal Zwick, Bernhard Beckert

Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, 2019