Anke Stüber

According to our database, Anke Stüber authored at least 3 papers between 2014 and 2016.

Collaborative distances:

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

2016

A Constructive Proof for FLP.

Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann

Arch. Formal Proofs, 2016

Mechanical Verification of a Constructive Proof for FLP.

Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

2014

On the Optimality of Differential Fault Analyses on CLEFIA.

Juliane Krämer, Anke Stüber, Ágnes Kiss

IACR Cryptol. ePrint Arch., 2014