## E-Mails 📧

- ed.tdatsmrad-ut.kitamrofni.siam @letnam

## Entries

### 2018

##### An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties

by Oliver Bračevac 📧, Richard Gay 📧, Sylvia Grewe 📧, Heiko Mantel 📧, Henning Sudbrock 📧 and Markus Tasch 📧
May 07

### 2014

##### A Formalization of Strong Security

by Sylvia Grewe 📧, Alexander Lux 📧, Heiko Mantel 📧 and Jens Sauer 📧
Apr 23

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

by Sylvia Grewe 📧, Alexander Lux 📧, Heiko Mantel 📧 and Jens Sauer 📧
Apr 23

##### A Formalization of Assumptions and Guarantees for Compositional Noninterference

by Sylvia Grewe 📧, Heiko Mantel 📧 and Daniel Schoepe 📧
Apr 23