Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 2 results:
Author Title [ Type(Desc)] Year
Filters: Author is A. Lux and First Letter Of Title is F  [Clear All Filters]
Journal Article
S. Grewe, Lux, A., Mantel, H., and Sauer, J., “A Formalization of Declassification with WHAT-and-WHERE-Security”, Archive of Formal Proofs, 2014.
S. Grewe, Lux, A., Mantel, H., and Sauer, J., “A Formalization of Strong Security”, Archive of Formal Proofs, 2014.