On the security of the Winternitz one-time signature scheme. - Johannes Buchmann 001; Erik Dahmen; Sarah Ereth; Andreas Hülsing; Markus Rückert (Int. J. Appl. Cryptogr., 2013)

Scalable Offline Monitoring. - David A. Basin; Germano Caronni; Sarah Ereth; Matús Harvan; Felix Klaedtke; Heiko Mantel (RV, 2014)

Confidentiality for Android apps: Specification and verification. - Sarah Ereth; Steffen Lortz; Matthias Perner (it Inf. Technol., 2014)

Scalable offline monitoring of temporal specifications. - David A. Basin; Germano Caronni; Sarah Ereth; Matús Harvan; Felix Klaedtke; Heiko Mantel (Formal Methods Syst. Des., 2016)