Title: Design and analysis of secure systems

Lecturer: Joshua Guttman, Worcester Polytechnic Institute

Period: 11-22 september 2017 (from monday to friday SEMINAR ROOM WEST at 11:00 to 13:00)

First part. The focus will be on the analysis, the design, and the refinement of cryptographic protocols.  

Second part. The focus will be on information flow and non-interference, I want to talk about the semantics of limited information flow, both in a non quantitative and a quantitative context, explain how these can be matched with a natural model for  distributed systems, and how this promotes a compositional view of secure system development and refinement.  I'd also like to indicate how the same ideas may apply to software via object capability models.