Title: Formal Aspects of Security and Trust