On the Optimality of Differential Fault Analyses on CLEFIA. - Juliane Krämer; Anke Stüber; Ágnes Kiss (IACR Cryptol. ePrint Arch., 2014)

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 (ITP, 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)