Flow Sensitive Security

		  Hanne Riis Nielson (DTU, Denmark)

Information flow control extends access control by not only regulating
who is allowed to access what data but also the subsequent use of the
data. Applications within communications systems require such
information flow control to be sensitive to the flow of execution and
in particular the values of data. The standard approach to information
flow is based on type systems. To handle the flow sensitive aspects we
shall first show how to combine the type system with a Hoare
logic. This has some short comings and in order to address those we
explore the over-approximating nature of abstract interpretation and
show that atomic Galois insertions provides a stable framework for
obtaining sound and fully automatic enforcement of flow sensitive
security.

Bio sketch 

Hanne Riis Nielson is a Full Professor in Computer Science and
Engineering at the Technical University of Denmark, where she is Head
of the Section on Language Based Technology. Hanne's current research
focuses on the use of formal techniques for analysing safety and
security of programs and models. She is the author of over 150 papers
and of four books, included the highly cited "Principles of Program
Analysis". She has received over 7,000 citations to her scientific
work and her h-index is 35 according to Google Scholar.