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.