Anupam Datta

• Formal Aspects of Security and Trust
• Advances in Computer Science, Information Security and Privacy Pt. II
• Analysis Techniques for Information Security
• Formal Aspects of Security and Trust