Sarah Ereth

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 1

Top Topics

Diffie Hellman Assumption

Bilinear Pairings

Temporal Ordering

Top Venues

Int. J. Appl. Cryptogr.

it Inf. Technol.

Formal Methods Syst. Des.

Publications

David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel
Scalable offline monitoring of temporal specifications. Formal Methods Syst. Des. 49 (1-2) (2016)
David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel
Scalable Offline Monitoring. RV (2014)
Sarah Ereth, Steffen Lortz, Matthias Perner
Confidentiality for Android apps: Specification and verification. it Inf. Technol. 56 (6) (2014)
Johannes Buchmann, Erik Dahmen, Sarah Ereth, Andreas Hülsing, Markus Rückert
On the security of the Winternitz one-time signature scheme. Int. J. Appl. Cryptogr. 3 (1) (2013)
Johannes Buchmann, Erik Dahmen, Sarah Ereth, Andreas Hülsing, Markus Rückert
On the Security of the Winternitz One-Time Signature Scheme. IACR Cryptol. ePrint Arch. 2011 (2011)
Johannes Buchmann, Erik Dahmen, Sarah Ereth, Andreas Hülsing, Markus Rückert
On the Security of the Winternitz One-Time Signature Scheme. AFRICACRYPT (2011)