Sarah Ereth

From MaRDI portal


List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Scalable offline monitoring of temporal specifications
Formal Methods in System Design
2018-02-12Paper
On the security of the Winternitz one-time signature scheme
International Journal of Applied Cryptography
2013-11-15Paper
On the security of the Winternitz one-time signature scheme
Lecture Notes in Computer Science
2011-06-29Paper


Research outcomes over time


This page was built for person: Sarah Ereth