University of Cambridge > Talks.cam > Computer Laboratory NetOS Group Talklets > Using information flow control to manage privacy

Using information flow control to manage privacy

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Derek Gordon Murray.

Many systems have privacy impacts because they sense potentially private things about the world. Because of this mildly obvious conclusion, physical phenomena can taint software components in the information flow sense, forever altering their degree of trustworthiness, safety, or compliance in terms of organisations’ data flow policies. This sort of tainting is exactly what information flow control (IFC) is designed to handle. Can we use IFC apparatus to reason about the privacy properties of various parts of a distributed system? Can we encode aspects of privacy that are defensible in the concrete within an IFC framework? Can IFC help privacy audit?

This is a talklette in the classic sense: the ideas that I shall describe are at best half-baked. But I think that they are promising, so you should come to hear about them and talk about useful stuff yourself.

This talk is part of the Computer Laboratory NetOS Group Talklets series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2021 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity