Program Committee Member

---

• FMSE 2005: 3rd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code
• ISC 2006: 9th Information Security Conference
• GrC 2006 (Security & Privacy): IEEE International Conference on Granular Computing
• FCS-ARSPA 2006: Joint workshop Foundations of Computer Security (FCS) and Automated Reasoning for Security Protocol Analysis (ARSPA)
• ASIAN 2006: 11th Annual Asian Computing Science Conference (Focus on Secure Software)
• IEEE S & P 2007: IEEE Symposium on Security and Privacy
• TRAM 2007: First International Workshop on Trust and Reputation Management in Massively Distributed Computing Systems
• FMSE 2007: 5th ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code
• ASIAN 2007: 12th Annual Asian Computing Science Conference (Focus on Computer and Network Security)
• IFIPTM 2008: 2008 Joint iTrust and PST Conferences on Privacy, Trust Management and Security
• CSF 2008: 2008 IEEE Computer Security Foundations Symposium
• CCS 2008: 2008 ACM Conference on Computer and Communications Security

---