Older Research Events I Was Involved With

2nd IEEE Workshop on Security and Privacy in the Cloud (SPC 2016)

12th International Conference on Information Systems Security (ICISS 2016)

30th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec 2016)

16th International Conference on Runtime Verification (RV 2016)

11th International Conference on Information Systems Security (ICISS 2015)

29th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec 2015)

Multicore Software Engineering, Performance, Applications, and Tools (MUSEPAT) track of the 30th ACM/SIGAPP Symposium on Applied Computing (SAC 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), Program Committee member

International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT 2013), Program Committee member

International SPIN Symposium on Model Checking of Software (SPIN 2013), Program Committee member and Publicity Chair

18th ACM Symposium on Access Control Models and Technologies (SACMAT 2013), Program Committee member

8th International Conference on Information Systems Security (ICISS 2012), Program Committee member

10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2012), Program Committee member

17th ACM Symposium on Access Control Models and Technologies (SACMAT 2012), Program Committee member

9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2011), Program Committee member

18th International SPIN Workshop on Model Checking of Software (SPIN 2011), Program Committee member

Fourth International Workshop on Multicore Software Engineering (IWMSE11), Program Committee member

16th ACM Symposium on Access Control Models and Technologies (SACMAT 2011), Program Committee member

ACM SIGPLAN 2011 Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2011), Program Committee member

17th International SPIN Workshop on Model Checking of Software (SPIN 2010), Program Committee member

8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2010), Program Committee member

2nd IEEE International Symposium on Ubisafe Computing (UbiSafe-09), Program Committee member

2009 Haifa Verification Conference, Program Committee member

22nd IEEE Computer Security Foundations Symposium (CSF-22), General Chair and Program Committee member

7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2009), Program Committee member

16th International SPIN Workshop on Model Checking Software (SPIN 2009), Program Committee member

2009 Workshop on Runtime Verification (RV 2009), Program Committee member

2008 Haifa Verification Conference, Program Committee member

3rd International Workshop on Flexible Database and Information Systems Technology (FlexDBIST-08), Program Committee member

6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2008), Program Chair

2008 ACM Symposium on Access Control Models and Technologies (SACMAT 2008), Program Committee member

Spring 2008 Security and Privacy Day, Co-Chair

2008 Workshop on Runtime Verification (RV 2008), Program Committee member

2nd Workshop on Automated Formal Methods (AFM 2007), Program Committee Member

2007 Haifa Verification Conference, Program Committee member

2007 Workshop on Runtime Verification (RV 2007), Program Committee member

Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2007), Program Committee member

8th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2007), Program Committee member

2006 Haifa Verification Conference, Program Committee member

2006 Workshop on Formal Aspects of Testing and Runtime Verification (FATES/RV 2006), Program Committee member

TV'06: Workshop on Multithreading in Hardware and Software: Formal Approaches to Design and Verification, Program Committee member

Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2006), Program Committee member

ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation (PLDI), Program Committee member

13th International SPIN Workshop on Model Checking Software (SPIN 2006), Program Committee member

7th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2006), Program Committee member

Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2005), Program Committee member

Sixth Int'l. Symposium on Automated and Analysis-driven Debugging (AADEBUG 2005), Program Committee member

Fifth Workshop on Runtime Verification (RV 2005), Program Committee member

3rd Workshop on Software Model Checking (SoftMC 2005), co-chair

European Symposium on Programming (ESOP 2005), Program Committee member

2nd International Workshop on Automated Technology for Verification and Analysis (ATVA), Program Committee member

International Symposium on Software Testing and Analysis (ISSTA 2004), Program Committee member

Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2004), Program Committee member

Third International Workshop on Automated Verification of Infinite-State Systems, Invited speaker (slides)

11th International SPIN Workshop on Model Checking of Software (SPIN 2004), Program Committee member

Fourth Workshop on Runtime Verification (RV 2004), Program Committee member

2nd Workshop on Software Model Checking (SoftMC 2003), co-chair

Third Workshop on Runtime Verification (RV 2003), Program Committee member

Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2003), Program Committee member

10th International SPIN Workshop on Model Checking of Software (SPIN 2003), Program Committee member

Workshop on Software Model Checking (SoftMC 2001), co-chair

2001 Workshop on Logical Aspects of Cryptographic Protocol Verification, Program Committee member

2000 Workshop on Formal Methods and Computer Security, Program Committee member


Scott Stoller's Home Page