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.
Foundations and Trends in Programming Languages
Frontiers in Big Data, Associate Editor for Cybersecurity & Privacy
International Journal on Software Tools for Technology Transfer
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.
21st Workshop on Privacy in the Electronic Society (WPES 2022)
27th ACM Symposium on Access Control Models and Technologies (SACMAT 2022)
17th International Conference on Information Systems Security (ICISS 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)
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)
Fall | 2022 | CSE 416 (Section 2): Software Engineering |
Fall | 2021 | CSE 535: Distributed Systems |
Fall | 2021 | CSE 643: Cyber-Physical Systems and Verification Seminar (co-taught) |
Spring | 2021 | CSE 416 (Section 2): Software Engineering |
Spring | 2020 | CSE 659: Computer Security Seminar (co-taught) |
Spring | 2021 | CSE 416 (Section 2): Software Engineering |
Spring | 2020 | CSE 659: Computer Security Seminar (co-taught) |
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
|
![]() |