Invited Talk
- Alexander W. Dent
Information Security Group
Royal Holloway, University of London
United Kingdom
Title:A Brief History of Security Models for Confidentiality
-
Bogdan Warinschi
Department of Computer Science, University of Bristol,
United Kingdom
Title:Symbolic Methods for Provable Security