A Formalization of Declassification with WHAT-and-WHERE-Security | SPP 1496 - RS3

Reliably Secure Software Systems (RS³) –
DFG Priority Programme 1496

S. Grewe, Lux, A., Mantel, H., and Sauer, J., “A Formalization of Declassification with WHAT-and-WHERE-Security”, Archive of Formal Proofs, 2014.