Saturday, May 18th 2013
My research interests are in formal analysis of security-sensitive business processes. I'm currently involved in
the AVANTSSAR project on Automated VAlidatioN of Trust and Security of Service-oriented ARchitectures.