Title: Formal Aspects in Security and Trust