Jens Sauer

Publication Activity (10 Years)

Years Active: 2013-2014
Publications (10 Years): 0

Top Topics

Security Management

Information Assurance

Intrusion Detection

Top Venues

Arch. Formal Proofs

Publications

Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer
A Formalization of Strong Security. Arch. Formal Proofs 2014 (2014)
Heiko Mantel, Matthias Perner, Jens Sauer
Noninterference under Weak Memory Models. CSF (2014)
Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer
A Formalization of Declassification with WHAT-and-WHERE-Security. Arch. Formal Proofs 2014 (2014)
Christian Seeger, Kristof Van Laerhoven, Jens Sauer, Alejandro P. Buchmann
A Publish/Subscribe Middleware for Body and Ambient Sensor Networks that Mediates between Sensors and Applications. ICHI (2013)