Program Committee Member
1.
2014 IEEE Computer Security Foundations
Symposium
2.
2014 Principles of Security and Trust
(ETAPS Conference)
3.
2014 Trustworthy Global Computing
Symposium
4.
2014 ESSOS
5.
2013 ACM Conference on Computer and
Communications Security
6.
2013 Workshop on Privacy in the
Electronic Society2013
7.
2013 ICISS
8.
2013 DUMA
9.
2013 CCSW
10. 2013
IEEE Computer Security Foundations Symposium
11. 2013
IEEE Computer Aided Verification Conference
12. 2013
IEEE Symposium on Security and Privacy
13. 2012
Usenix Security Symposium
14. 2012
IEEE Computer Security Foundations Symposium
15. 2012
European Symposium on Research in Computer Security
16. 2012
IEEE Symposium on Security and Privacy
17. 2012
Formal and Computational Cryptography Workshop
18. 2012
ICISS
19. 2012
SPCIS
20. 2012
ICDCIT
21. 2011
ACM Conference on Computer and Communications Security
22. 2011
IEEE Symposium on Security and Privacy
23. 2011
Mathematical Foundations of Programming Semantics Conference
24. 2011
IFIP WG 11.11 International Conference on Trust Management (IFIPTM)
25. 2011
International Conference on Network and System Security
26. 2011
FDSCPS
27. 2011
Workshop on Foundations of Dependable and Secure Cyber-Physical Systems
28. 2010
IEEE Symposium on Security and Privacy
29. 2010
International Conference on Security and Cryptography (SECRYPT)
30. 2010
Working Conference on Data and Applications Security and Privacy (DBSec)
31. 2010
International ICST Conference on Security and Privacy in Communication Networks
(SecureComm)
32. 2010
Verified Software-Theory Workshop (VS-Theory)
33. 2010
IFIP WG 11.11 International Conference on Trust Management (IFIPTM)
34. 2009
IEEE Computer Security Foundations Symposium
35. 2009
European Symposium on Research in Computer Security
36. 2009
International Conference on Security and Cryptography (SECRYPT)
37. 2009
International Workshop on Security Issues in Concurrency (SecCo)
38. 2009
Information Security Conference (ISC)
39. 2009
IFIP WG 11.11 International Conference on Trust Management (IFIPTM)
40. 2009
Formal and Computational Cryptography Workshop
41. 2009
Workshop on Scalable Trusted Computing (STC)
42. 2009
ACM Workshop on Information Security Governance (WISG)
43. 2008
ACM Conference on Computer and Communications Security
44. 2008
IEEE Computer Security Foundations Symposium
45. 2008
Joint iTrust and PST Conferences on Privacy, Trust Management and Security
(IFIPTM)
46. 2007
IEEE Symposium on Security and Privacy
47. 2007
Annual Asian Computing Science Conference (ASIAN)
48. 2007
ACM Workshop on Formal Methods in Security Engineering: From Specifications to
Code
49. 2007
International Workshop on Trust and Reputation Management in Massively
Distributed Computing Systems
50. 2006
Joint workshop Foundations of Computer Security (FCS) and Automated Reasoning
for Security Protocol Analysis (ARSPA)
51. 2006
Information Security Conference (ISC)
52. 2006
Annual Asian Computing Science Conference (ASIAN)