Formal Aspects of Security and Trust | lit.salon