S. Ereth

Towards a Common Specification Language for Information-Flow Security in RS 3 and Beyond : RIFL 1 . 0 – The Language Technical Report TUD-CS-2014-0115

H. Mantel, T. Darmstadt, S. Ereth, 2015 .

Scalable offline monitoring of temporal specifications

D. Basin, H. Mantel, S. Ereth, 2016, Formal Methods in System Design.

On the security of the Winternitz one-time signature scheme

Johannes A. Buchmann, Erik Dahmen, Sarah Ereth, 2011, Int. J. Appl. Cryptogr..

Towards a Common Specification Language for Information-Flow Security in RS3 and Beyond: RIFL 1.0 - The Language

Sarah Ereth, Heiko Mantel, Matthias Perner, 2014 .

Scalable offline monitoring of temporal specifications

Felix Klaedtke, David A. Basin, Germano Caronni, 2016, Formal Methods in System Design.