1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CR2022
FIDO2 With Two Displays-Or How to Protect Security-Critical Web Transactions Against Malware Attacks
Timon Hackenjos, Benedikt Wagner, Julian Herr +4
With the rise of attacks on online accounts in the past years, more and more services offer two-factor authentication for their users. Having factors out of two of the three catego…
cs.SE2019★ 1 cited
Understanding Counterexamples for Relational Properties with DIbugger
Mihai Herda, Michael Kirsten, Etienne Brunner +6
Software verification is a tedious process that involves the analysis of multiple failed verification attempts, and adjustments of the program or specification. This is especially…