Automatic Security Analysis in the Symbolic Model using Tamarin-Prover. - Eike Stadtländer; Michael Nüsken (Krypto-Tag, 2018)

Learning Weakly Convex Sets in Metric Spaces. - Eike Stadtländer; Tamás Horváth 001; Stefan Wrobel (ECML/PKDD (2), 2021)