Xinming Ou traveled to Libson, Portugal to give an invited talk "A Bottom-up Approach to Applying
Graphical Models in Security Analysis" at GraMSec 2016 The Third International Workshop
on Graphical Models for Security.