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 (HCVS/PERR@ETAPS, 2019)

Neural-Symbolic Integration for Fairness in AI. - Benedikt Wagner; Artur S. d'Avila Garcez (AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering, 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 001; Benedikt Wagner (IACR Cryptol. ePrint Arch., 2021)

A historical perspective of explainable Artificial Intelligence. - Roberto Confalonieri 001; Ludovik Coba; Benedikt Wagner; Tarek R. Besold (WIREs Data Mining Knowl. Discov., 2021)

Neural-Symbolic Reasoning Under Open-World and Closed-World Assumptions. - Benedikt Wagner; Artur S. d'Avila Garcez (AAAI Spring Symposium: MAKE, 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 (CRYPTO (3), 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)

Sweep-UC: Swapping Coins Privately. - Lucjan Hanzlik; Julian Loss; Sri Aravinda Krishnan Thyagarajan; Benedikt Wagner (IACR Cryptol. ePrint Arch., 2022)

Token meets Wallet: Formalizing Privacy and Revocation for FIDO2. - Lucjan Hanzlik; Julian Loss; Benedikt Wagner (IACR Cryptol. ePrint Arch., 2022)

Rai-Choo! Evolving Blind Signatures to the Next Level. - Lucjan Hanzlik; Julian Loss; Benedikt Wagner (IACR Cryptol. ePrint Arch., 2022)

Lattice-based Signatures with Tight Adaptive Corruptions and More. - Jiaxin Pan 001; Benedikt Wagner (IACR Cryptol. ePrint Arch., 2022)

PI-Cut-Choo! Parallel Instance Cut and Choose for Practical Blind Signatures. - Benedikt Wagner; Lucjan Hanzlik; Julian Loss (IACR Cryptol. ePrint Arch., 2022)

Reasoning about what has been learned: Neural-Symbolic integration for explainable artificial intelligence. - Benedikt Wagner (2022)

Twinkle: Threshold Signatures from DDH with Full Adaptive Security. - Renas Bacho; Julian Loss; Stefano Tessaro; Benedikt Wagner; Chenzhi Zhu (IACR Cryptol. ePrint Arch., 2023)

A Holistic Security Analysis of Monero Transactions. - Cas Cremers; Julian Loss; Benedikt Wagner (IACR Cryptol. ePrint Arch., 2023)

Jackpot: Non-Interactive Aggregatable Lotteries. - Nils Fleischhacker; Mathias Hall-Andersen; Mark Simkin 001; Benedikt Wagner (IACR Cryptol. ePrint Arch., 2023)

Chopsticks: Fork-Free Two-Round Multi-Signatures from Non-Interactive Assumptions. - Jiaxin Pan 001; Benedikt Wagner (IACR Cryptol. ePrint Arch., 2023)

Toothpicks: More Efficient Fork-Free Two-Round Multi-Signatures. - Jiaxin Pan 001; Benedikt Wagner (IACR Cryptol. ePrint Arch., 2023)

Lattice-based Authenticated Key Exchange with Tight Security. - Jiaxin Pan 001; Benedikt Wagner; Runzhi Zeng (IACR Cryptol. ePrint Arch., 2023)

Generic Constructions of Compact and Tightly Selective-Opening Secure Public-key Encryption Schemes. - Jiaxin Pan 001; Benedikt Wagner; Runzhi Zeng (IACR Cryptol. ePrint Arch., 2023)

Tighter Security for Generic Authenticated Key Exchange in the QROM. - Jiaxin Pan 001; Benedikt Wagner; Runzhi Zeng (IACR Cryptol. ePrint Arch., 2023)

Foundations of Data Availability Sampling. - Mathias Hall-Andersen; Mark Simkin 001; Benedikt Wagner (IACR Commun. Cryptol., 2024)

Sublinear-Round Broadcast without Trusted Setup. - Andreea B. Alexandru; Julian Loss; Charalampos Papamanthou; Giorgos Tsimos; Benedikt Wagner (IACR Cryptol. ePrint Arch., 2024)

HARTS: High-Threshold, Adaptively Secure, and Robust Threshold Schnorr Signatures. - Renas Bacho; Julian Loss; Gilad Stern; Benedikt Wagner (IACR Cryptol. ePrint Arch., 2024)

Tightly Secure Non-Interactive BLS Multi-Signatures. - Renas Bacho; Benedikt Wagner (IACR Cryptol. ePrint Arch., 2024)

Tightly Secure Threshold Signatures over Pairing-Free Groups. - Renas Bacho; Benedikt Wagner (IACR Cryptol. ePrint Arch., 2024)

FRIDA: Data Availability Sampling from FRI. - Mathias Hall-Andersen; Mark Simkin 001; Benedikt Wagner (IACR Cryptol. ePrint Arch., 2024)

Kleptographic Attacks against Implicit Rejection. - Antoine Joux; Julian Loss; Benedikt Wagner (IACR Cryptol. ePrint Arch., 2024)

Practical Blind Signatures in Pairing-Free Groups. - Michael Klooß; Michael Reichle; Benedikt Wagner (IACR Cryptol. ePrint Arch., 2024)

A Documentation of Ethereum's PeerDAS. - Benedikt Wagner; Arantxa Zapico (IACR Cryptol. ePrint Arch., 2024)

Techniques for highly efficient and secure interactive signatures. - Benedikt Wagner (2024)

Generic constructions of master-key KDM secure attribute-based encryption. - Jiaxin Pan 001; Chen Qian 002; Benedikt Wagner (Des. Codes Cryptogr., 2024)

Hash-Based Multi-Signatures for Post-Quantum Ethereum. - Justin Drake; Dmitry Khovratovich; Mikhail A. Kudinov; Benedikt Wagner (IACR Commun. Cryptol., 2025)

T-Spoon: Tightly Secure Two-Round Multi-Signatures with Key Aggregation. - Renas Bacho; 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)

Silent Threshold Encryption with One-Shot Adaptive Security. - Mathias Hall-Andersen; Mark Simkin 001; Benedikt Wagner (IACR Cryptol. ePrint Arch., 2025)

At the Top of the Hypercube - Better Size-Time Tradeoffs for Hash-Based Signatures. - Dmitry Khovratovich; Mikhail A. Kudinov; Benedikt Wagner (IACR Cryptol. ePrint Arch., 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 001; Andreas Holzinger; Artur d'Avila Garcez; et al. (ACM Comput. Surv., 2025)

Robust Distributed Arrays: Provably Secure Networking for Data Availability Sampling. - Dankrad Feist; Gottfried Herold; Mark Simkin 001; Benedikt Wagner (CoRR, 2025)