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: 21^st IEEE Computer Security Foundations Symposium
• CCS 2008: 2008 ACM Conference on Computer and Communications Security
• CSF 2009: 22nd Computer Security Foundations Symposium
• ESORICS 2009: 14^th European Symposium on Research in Computer Security
• IFIPTM 2009: Third IFIP WG 11.11 International Conference on Trust Management
• ISC 2009: Information Security Conference
• SecCo 2009: 7^th International Workshop on Security Issues in Concurrency
• SECRYPT 2009: International Conference on Security and Cryptography

---