Software & Systems Security Seminar
Time and Location
Time: Mondays 12-1pm
Location: ECSS 3.220
Instructor: Chung Hwan Kim
Schedule
Week | Date | Facilitator(s) | Paper(s) |
1 | 9/8 | Sudharssan Mohan | Software Availability Protection in Cyber-Physical Systems [USENIX Security 2025] |
2 | 9/15 | Zelun Kong | ConTest: Taming the Cyber-physical Input Space in Fuzz Testing with Control Theory [CCS 2025] |
3 | 9/22 | Jaehyun Park | DPFuzzer: Discovering Safety Critical Vulnerabilities for Drone Path Planners [ICSE 2025] |
4 | 9/29 | Minkyung Park | TBD |
5 | 10/6 | Sudharssan Mohan | IMUFUZZER: Resilience-based Discovery of Signal Injection Attacks on Robotic Vehicles [ASE 2025] |
6 | 10/13 | - | No Meeting |
7 | 10/20 | Ruoyu Xu | TBD |
8 | 10/27 | Sai Tharun Reddy Mulka | TBD |
9 | 11/3 | Jaehyun Park | TBD |
10 | 11/10 | Zelun Kong | TBD |
11 | 11/17 | Sai Tharun Reddy Mulka | TBD |
12 | 11/24 | - | Fall Break |
13 | 12/1 | Ruoyu Xu | TBD |
Overview
The Fall 2025 offering of the Software & Systems Security Seminar will cover a variety of security topics, with an eye toward two goals.
Increase participants' familiarity with recent and important results in the areas of software and systems security research. Attendees will read and discuss papers from recent and imminent top-tier security conferences: e.g., IEEE S&P, USENIX Security, CCS, NDSS, and security-related systems and software engineering conferences, and so on.
Be a venue for student presentations. This may be a "formal" research presentation--ideally of a student's current work--or it may be an analysis of the research papers chosen for a seminar meeting.
Participation
Note
Requirement Participating students are required to make at least one presentation during the semester.
To participate in the seminar, please get on the seminar mailing list before the first week of the semester. Use Sympa to subscribe to s3sem. You will receive am instruction email to sign up for presentations through the mailing list during the first week of the semester.
Potential Papers
Upcoming and recent conference proceedings are good sources of papers for discussion. Below are links to some relevant conference series.
Security: IEEE S&P, USENIX Security, CCS, NDSS, EuroS&P, ACSAC, ASIACCS, RAID, ESORICS, CODASPY, Black Hat
Systems: OSDI, SOSP, USENIX ATC, EuroSys, ASPLOS, RTAS, SOCC, SIGMETRICS, MobiSys, SenSys, FAST, VEE, DSN, ICDCS
Software Engineering / Compilers: PLDI, ICSE, ESEC/FSE, ASE, POPL, SPLASH/OOPSLA, ECOOP, CGO
Workshops: SecDev, BAR, VehicleSec, SpaceSec, SafeThings, CPSIoTSec, WOOT