Michael Clarkson has been invited to lecture at the 15th International School on Foundations of Security Analysis and Design (FOSAD 2015) on September 4 and 5, 2015 in Bertinoro, Italy.
The FOSAD was established as one of the foremost events with the goal of disseminating knowledge in the critical area of security in computer systems and networks. The main aim of the FOSAD school is to offer a good spectrum of current research in foundations of security - ranging from programming languages to analysis of protocols, from cryptographic algorithms to access control policies and trust management.