Seminar by Florian Kammueller

In the MDX school seminar on 7th November, Florian Kammueller presented his work on Security of Active Objects. This talk presented the Semi-Lattice Model for Multi-Lateral Security designed for Privacy of Active Objects as recently presented at the DPM workshop at ESORICS’12. Florian also gave an overview of his ongoing work on formalisation of an information flow type system for ASPfun formalized in Isabelle/HOL.

This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *

Note: If you are replying to another commenter, click the "Reply to {NAME} ↵" button under their comment!