Dept. of Computer Science and Engineering
Chalmers University of Technology, Gothenburg
Information flow tracking
Information flow control has been extensively studied for applications in traditional programming languages and for abstract models of communicating systems. Recently, information flow control has received more attention as a means to enforce data confidentiality and integrity for web and IoT applications. Web and IoT applications have high potential to leverage the promise of information flow control because of the necessity to control the propagation of information in tightly integrated components that mix code from trusted and untrusted sources. These lectures overview information flow foundations, focusing on formalizing security policies for integrity, confidentiality and intentional information release (declassification), and present highlights of practical applications of information flow technology, where static and dynamic enforcement techniques are combined to track information flow in web and IoT applications.
- A. Sabelfeld and A. C. Myers. Language-Based Information-Flow Security. IEEE J. on Selected Areas in Communications, v. 21, n. 1, pp. 5-19, 2003.
- I. Bastys, M. Balliu and A. Sabelfeld. If This Then What? Controlling Flows in IoT Apps. In Proc. of ACM Conf. on Computer and Communications Security, CCS '18 (Toronto, Oct. 2018). ACM Press , 2018.
January 25, 2019 20:51 Europe/Helsinki (GMT +02:00)
local organizers, ewscs19(at)cs.ioc.ee
EWSCS'19 page: http://cs.ioc.ee/ewscs/2019/