Jens Sauer

According to our database, Jens Sauer authored at least 4 papers between 2013 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

A Formalization of Strong Security.

Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer

Arch. Formal Proofs, 2014

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

Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer

Arch. Formal Proofs, 2014

Noninterference under Weak Memory Models.

Heiko Mantel, Matthias Perner, Jens Sauer

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

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

Proceedings of the IEEE International Conference on Healthcare Informatics, 2013