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.

I head the Reliable Systems Lab (New Computer Science 342).

Security Policy Mining is one of my current research topics.


C.V.


Publications


Software


Editorial Board Memberships

Foundations and Trends in Programming Languages

Frontiers in Big Data, Associate Editor for Cybersecurity & Privacy

International Journal on Software Tools for Technology Transfer


Research Event Organization

25th ACM Symposium on Access Control Models and Technologies (SACMAT 2020), program co-chair

NSF Workshop on Future Directions for Parallel and Distributed Computing (SPX 2019), co-chair

From Classical to Blockchain Consensus: What are the Exact Algorithms? PODC 2019 Tutorial, with Y. Annie Liu.

Older Research Event Organization


Program Committees

17th International Conference on Information Systems Security (ICISS 2021)

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

26th ACM Symposium on Access Control Models and Technologies (SACMAT 2021)

2021 USENIX Annual Technical Conference (USENIX ATC'20), Extended Review Program Committee

16th International Conference on Information Systems Security (ICISS 2020)

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

2020 USENIX Annual Technical Conference (USENIX ATC'20)

19th International Conference on Runtime Verification (RV 2019)

15th International Conference on Information Systems Security (ICISS 2019)

24th ACM Symposium on Access Control Models and Technologies (SACMAT 2019)

33rd Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec 2019)

Older Program Committee Memberships


Courses

Spring2021 CSE 416 (Section 2): Software Engineering
Spring2020 CSE 416 (Section 2): Software Engineering
Fall2018 CSE 659: Computer Security Seminar
Fall2018 CSE 308 (Section 2): Software Engineering
Spring2018 CSE 659: Computer Security Seminar
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


Humor

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 myLastName@cs.stonybrook.edu
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