Dissemination

This is a list of invited talks or tutorials that the members of PRINCESS have given on work originated from, or inspired by, our collaboration.

July 2015: Geoffrey Smith (FIU) will give an invited joint tutorial talk at LICS and ICALP 2015 on the topics of PRINCESS.

March 2015: Catuscia Palamidessi (INRIA) will give a plenary keynote talk at ETAPS 2015 on the topics of PRINCESS.

October 2014: Catuscia Palamidessi will give an invited talk at NWPT 2014 on the topics of PRINCESS.

August 2014: Catuscia Palamidessi (INRIA) will give an invited joint keynote talk at CONCUR and TGC 2014 on the topics of PRINCESS.

April 2014: Geoffrey Smith (FIU) gave an invited plenary keynote talk at ETAPS 2014 on quantitative information flow.

December 2013: Carroll Morgan (UNSW and NICTA) gives an invited talk at CCP 2013 on quantitative information flow. 

October 2013: Carroll Morgan (UNSW and NICTA) gives an invited talk at ICFEM 2013 on quantitative information flow

August 2013: Catuscia Palamidessi (INRIA) gives an invited talk at WOLLICS 2013 on quantitative aproaches to the protection of confidential information. 

July 2013: Geoffrey Smith (FIU) gave a Special Topics Lecture on quantitative information flow at the UIUC Formal Methods for the Science of Security Summer School.

June 2013: Catuscia Palamidessi (INRIA) gives an invited keynote talk at the PETRI NETS 2013 conference on the quantitative aspects of information protection.