A Publish/Subscribe Middleware for Body and Ambient Sensor Networks that Mediates between Sensors and Applications. - Christian Seeger; Kristof Van Laerhoven; Jens Sauer; Alejandro P. Buchmann (ICHI, 2013)

Noninterference under Weak Memory Models. - Heiko Mantel; Matthias Perner; Jens Sauer (CSF, 2014)

A Formalization of Declassification with WHAT-and-WHERE-Security. - Sylvia Grewe; Alexander Lux; Heiko Mantel; Jens Sauer (Arch. Formal Proofs, 2014)

A Formalization of Strong Security. - Sylvia Grewe; Alexander Lux; Heiko Mantel; Jens Sauer (Arch. Formal Proofs, 2014)