From Classical to Blockchain Consensus: What are the Exact Algorithms? PODC 2019 Tutorial, with Y. Annie Liu.
International SPIN Symposium on Model Checking of Software (SPIN 2013) Publicity Chair and Program Committee member
22nd IEEE Computer Security Foundations Symposium (CSF-22), General Chair and Program Committee member
6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2008), Program Chair
Spring 2008 Security and Privacy Day, Co-Chair
3rd Workshop on Software Model Checking (SoftMC 2005), Co-Chair
Third International Workshop on Automated Verification of Infinite-State Systems, Invited speaker (slides)
2nd Workshop on Software Model Checking (SoftMC 2003), Co-Chair
Workshop on Software Model Checking (SoftMC 2001), Co-Chair
18th International Conference on Runtime Verification (RV 2018)
23rd ACM Symposium on Access Control Models and Technologies (SACMAT 2018)
7th ACM Conference on Data and Application Security and Privacy (CODASPY 2018)
13th International Conference on Information Systems Security (ICISS 2017)
32nd IFIP TC-11 SEC 2017 International Information Security and Privacy Conference (IFIP SEC 2017)
17th International Conference on Runtime Verification (RV 2017)
22nd ACM Symposium on Access Control Models and Technologies (SACMAT 2017)
International SPIN Symposium on Model Checking of Software (SPIN 2017)
2nd IEEE Workshop on Security and Privacy in the Cloud (SPC 2016)
12th International Conference on Information Systems Security (ICISS 2016)
16th International Conference on Runtime Verification (RV 2016)
11th International Conference on Information Systems Security (ICISS 2015)
20th ACM Symposium on Access Control Models and Technologies (SACMAT 2015)
15th International Conference on Runtime Verification (RV 2015)
10th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2015)
10th International Conference on Information Systems Security (ICISS 2014)
International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT 2014)
International SPIN Symposium on Model Checking of Software (SPIN 2014)
19th ACM Symposium on Access Control Models and Technologies (SACMAT 2014)
5th International Conference on Runtime Verification (RV 2014)
9th International Conference on Information Systems Security (ICISS 2013)
International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT 2013)
18th ACM Symposium on Access Control Models and Technologies (SACMAT 2013)
8th International Conference on Information Systems Security (ICISS 2012)
10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2012)
17th ACM Symposium on Access Control Models and Technologies (SACMAT 2012)
9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2011)
18th International SPIN Workshop on Model Checking of Software (SPIN 2011)
Fourth International Workshop on Multicore Software Engineering (IWMSE11)
16th ACM Symposium on Access Control Models and Technologies (SACMAT 2011)
ACM SIGPLAN 2011 Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2011)
17th International SPIN Workshop on Model Checking of Software (SPIN 2010)
8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2010)
2nd IEEE International Symposium on Ubisafe Computing (UbiSafe-09)
2009 Haifa Verification Conference
7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2009)
16th International SPIN Workshop on Model Checking Software (SPIN 2009)
2009 Workshop on Runtime Verification (RV 2009)
2008 Haifa Verification Conference
3rd International Workshop on Flexible Database and Information Systems Technology (FlexDBIST-08)
2008 ACM Symposium on Access Control Models and Technologies (SACMAT 2008)
2008 Workshop on Runtime Verification (RV 2008)
2nd Workshop on Automated Formal Methods (AFM 2007)
2007 Haifa Verification Conference
2007 Workshop on Runtime Verification (RV 2007)
Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2007)
2006 Haifa Verification Conference
2006 Workshop on Formal Aspects of Testing and Runtime Verification (FATES/RV 2006)
Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2006)
ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation (PLDI)
13th International SPIN Workshop on Model Checking Software (SPIN 2006)
Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2005)
Sixth Int'l. Symposium on Automated and Analysis-driven Debugging (AADEBUG 2005)
Fifth Workshop on Runtime Verification (RV 2005)
European Symposium on Programming (ESOP 2005)
2nd International Workshop on Automated Technology for Verification and Analysis (ATVA)
International Symposium on Software Testing and Analysis (ISSTA 2004)
Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2004)
11th International SPIN Workshop on Model Checking of Software (SPIN 2004)
Fourth Workshop on Runtime Verification (RV 2004)
Third Workshop on Runtime Verification (RV 2003)
Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2003)
10th International SPIN Workshop on Model Checking of Software (SPIN 2003)
2001 Workshop on Logical Aspects of Cryptographic Protocol Verification
2000 Workshop on Formal Methods and Computer Security