Benedikt Wagner

According to our database, Benedikt Wagner authored at least 28 papers between 2019 and 2024.

Collaborative distances:

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

2024

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

Jiaxin Pan, Chen Qian, Benedikt Wagner

Des. Codes Cryptogr., January, 2024

Kleptographic Attacks against Implicit Rejection.

Antoine Joux, Julian Loss, Benedikt Wagner

IACR Cryptol. ePrint Arch., 2024

FRIDA: Data Availability Sampling from FRI.

Mathias Hall-Andersen, Mark Simkin, 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

2023

Tighter Security for Generic Authenticated Key Exchange in the QROM.

Jiaxin Pan, Benedikt Wagner, Runzhi Zeng

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

Lattice-based Authenticated Key Exchange with Tight Security.

Jiaxin Pan, Benedikt Wagner, Runzhi Zeng

IACR Cryptol. ePrint Arch., 2023

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

Jiaxin Pan, Benedikt Wagner

IACR Cryptol. ePrint Arch., 2023

Chopsticks: Fork-Free Two-Round Multi-Signatures from Non-Interactive Assumptions.

Jiaxin Pan, Benedikt Wagner

IACR Cryptol. ePrint Arch., 2023

Foundations of Data Availability Sampling.

Mathias Hall-Andersen, Mark Simkin, Benedikt Wagner

IACR Cryptol. ePrint Arch., 2023

Jackpot: Non-Interactive Aggregatable Lotteries.

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

IACR Cryptol. ePrint Arch., 2023

A Holistic Security Analysis of Monero Transactions.

Cas Cremers, Julian Loss, Benedikt Wagner

IACR Cryptol. ePrint Arch., 2023

Twinkle: Threshold Signatures from DDH with Full Adaptive Security.

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

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

Lattice-based Signatures with Tight Adaptive Corruptions and More.

Jiaxin Pan, 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

Token meets Wallet: Formalizing Privacy and Revocation for FIDO2.

Lucjan Hanzlik, Julian Loss, Benedikt Wagner

IACR Cryptol. ePrint Arch., 2022

Sweep-UC: Swapping Coins Privately.

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

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

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

Short Identity-Based Signatures with Tight Security from Lattices.

Jiaxin Pan, Benedikt Wagner

IACR Cryptol. ePrint Arch., 2021

Neural-Symbolic Integration for Interactive Learning and Conceptual Grounding.

Benedikt Wagner, Artur S. d'Avila Garcez

CoRR, 2021

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 S. d'Avila Garcez, Natalia Díaz Rodríguez

CoRR, 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