Home
About
Submission
Updating Entries
Using Entries
Search
Statistics
Index
Download
H
eiko
M
antel
Entries
2018
May 7:
An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties
2014
April 23:
A Formalization of Strong Security
April 23:
A Formalization of Declassification with WHAT-and-WHERE-Security
April 23:
A Formalization of Assumptions and Guarantees for Compositional Noninterference
