Sarah Ereth

According to our database, Sarah Ereth authored at least 4 papers between 2013 and 2016.

Collaborative distances:

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

2016

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

2014

Confidentiality for Android apps: Specification and verification.

Sarah Ereth, Steffen Lortz, Matthias Perner

it Inf. Technol., 2014

Scalable Offline Monitoring.

David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel

Proceedings of the Runtime Verification - 5th International Conference, 2014

2013

On the security of the Winternitz one-time signature scheme.

Johannes Buchmann, Erik Dahmen, Sarah Ereth, Andreas Hülsing, Markus Rückert

Int. J. Appl. Cryptogr., 2013