Jens Sauer

A Formalization of Strong Security

Heiko Mantel, Alexander Lux, Jens Sauer, 2014, Arch. Formal Proofs.

A Formalization of Declassification with WHAT-and-WHERE-Security

Heiko Mantel, Alexander Lux, Jens Sauer, 2014, Arch. Formal Proofs.

Noninterference under Weak Memory Models (Progress Report)

Heiko Mantel, Matthias Perner, Jens Sauer, 2014 .

Noninterference under Weak Memory Models

Heiko Mantel, Matthias Perner, Jens Sauer, 2014, 2014 IEEE 27th Computer Security Foundations Symposium.