Anke Stüber

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 3

Top Topics

Fault Diagnosis

Top Venues

IACR Cryptol. ePrint Arch.

Arch. Formal Proofs

Publications

Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann
A Constructive Proof for FLP. Arch. Formal Proofs 2016 (2016)
Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann
Mechanical Verification of a Constructive Proof for FLP. ITP (2016)
Ágnes Kiss, Juliane Krämer, Anke Stüber
On the Optimality of Differential Fault Analyses on CLEFIA. MACIS (2015)
Juliane Krämer, Anke Stüber, Ágnes Kiss
On the Optimality of Differential Fault Analyses on CLEFIA. IACR Cryptol. ePrint Arch. 2014 (2014)