Benedikt Wagner | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Artur d'Avila Garcez
22 publications
Bernhard Beckert
6 publications
Ulla Scheler
3 publications
Mihai Herda
1 publication
Michael Kirsten
1 publication
Etienne Brunner
1 publication
Joana Plewnia
1 publication
Chiara Staudenmaier
1 publication
Pascal Zwick
1 publication
Timon Hackenjos
1 publication
Julian Herr
1 publication

research

∙ 06/27/2022

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

With the rise of attacks on online accounts in the past years, more and ...

0 Timon Hackenjos, et al. ∙

research

∙ 12/22/2021

Neural-Symbolic Integration for Interactive Learning and Conceptual Grounding

We propose neural-symbolic integration for abstract concept explanation ...

17 Benedikt Wagner, et al. ∙

research

∙ 07/09/2019

Understanding Counterexamples for Relational Properties with DIbugger

Software verification is a tedious process that involves the analysis of...

0 Mihai Herda, et al. ∙