Spring 2019

Formal Modelling of Information-flow Control Systems: Some Lessons Learned

Tuesday, Mar. 5, 2019 2:00 pm2:45 pm PST

Add to Calendar


Dave Sands (Chalmers University of Technology)

Information flow properties, such as differential privacy, are subtle, and systems which are intended to enforce them can be tricky to get right. In this talk I will describe some lessons learned in attempting to derive faithful models of information flow systems, taking examples from our work on the ProPer system, a PINQ-like API which uses personalised privacy budgets and provenance tracking to enforce differential privacy.