A Formalization of Strong Security
by Sylvia Grewe 📧, Alexander Lux 📧, Heiko Mantel 📧 and Jens Sauer 📧
by Sylvia Grewe 📧, Alexander Lux 📧, Heiko Mantel 📧 and Jens Sauer 📧
Jens Sauer
E-Mails 📧
Entries
2014
by Sylvia Grewe 📧, Alexander Lux 📧, Heiko Mantel 📧 and Jens Sauer 📧
A Formalization of Declassification with WHAT-and-WHERE-Security
by Sylvia Grewe 📧, Alexander Lux 📧, Heiko Mantel 📧 and Jens Sauer 📧