Scott Stoller's Home Page

Research Interests

My primary research interests are design, analysis, optimization, testing, and verification of software, with emphases on computer security and distributed systems.

Security Policy Mining is one of my current research topics.




Editorial Board Memberships

Foundations and Trends in Programming Languages

International Journal on Software Tools for Technology Transfer

Program Committee Memberships

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)

31st Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec 2017)

22nd ACM Symposium on Access Control Models and Technologies (SACMAT 2017)

International SPIN Symposium on Model Checking of Software (SPIN 2017)

Older Program Committee Memberships


Fall2017 CSE 535: Asynchronous Systems
Fall2016 CSE 535: Asynchronous Systems
Spring2016 CSE 659: Computer Security Seminar
Fall2015 CSE 308 (Sections 1 and 2): Software Engineering
Fall2015 CSE 659: Computer Security Seminar
Spring2015 CSE 308 (Section 1): Software Engineering
Fall2014 CSE 535: Asynchronous Systems

Older Courses


To understand recursion, one must first understand recursion.
- Unknown

In theory, there's no difference between theory and practice. In practice, there is.
- Yogi Berra

Scott D. Stoller
New Computer Science Building, Room 357 GnuPG Public Key
Mail Code 2424 631-632-1627
Stony Brook University
Stony Brook, NY 11794-2424
Picture of Scott Stoller