A Formalization of Declassification with WHAT-and-WHERE-Security by Sylvia Grewe, Alexander Lux, Heiko Mantel and Jens Sauer Apr 23
A Formalization of Strong Security by Sylvia Grewe, Alexander Lux, Heiko Mantel and Jens Sauer Apr 23