Science of Security VI Mid-Year Review Meeting
Date: Jun 25, 2026
Location: Arizona State University, Washington, D.C.
June 25, 2026 at ASU in Washington, D.C.
Agenda
Time
Topic
Speaker/University
9:00–9:05 AM
Welcome & Logistics
Arizona State
9:05–9:15 AM
Opening Remarks
Adam Tagert / Shavon Donnell
AI & CYBERSECURITY
9:15–9:45 AM
Leveraging Machine Learning for Binary Software Understanding
Arizona State
9:45–10:00 AM
Q&A
10:00–10:30 AM
Improving Malware Classifiers with Plausible Novel Samples
Vanderbilt
10:30–10:45 AM
Q&A
10:45–11:00 AM BREAK
11:00–11:30 AM
Improving Security & Safety of Neural Networks through Robust Training, Noise Augmentation & Safety Metrics
International Computer Science Institute (ICSI)
11:30–11:45 AM
Q&A
11:45 AM–12:15 PM
Neurosymbolic Autonomous Agents for Cyber Defense
Vanderbilt
12:15–12:30 PM
Q&A
12:30–1:30 PM LUNCH
1:30–2:00 PM PI SYNCS WITH LIAISONS
2:00–2:45 PM SPEAKER(S) – TBD
TRUSTED SYSTEMS
2:45–3:15 PM
Predictable & Scalable Remote Attestation
University of Kansas
3:15–3:30 PM
Q&A
3:30–4:00 PM
Continuous Reasoning with Gradual Verification
Carnegie Mellon
4:00–4:15 PM
Q&A
4:15–4:30 PM BREAK
4:30–5:00 PM
Open Discussion / Reflection / Closing Remarks
All; Adam Tagert / Shavon Donnell
Submitted by Tony Guzman
on
Date: Jun 25, 2026
Location: Arizona State University, Washington, D.C.
June 25, 2026 at ASU in Washington, D.C. |
Agenda
| Time | Topic | Speaker/University |
|---|---|---|
| 9:00–9:05 AM | Welcome & Logistics | Arizona State |
| 9:05–9:15 AM | Opening Remarks | Adam Tagert / Shavon Donnell |
| AI & CYBERSECURITY | ||
| 9:15–9:45 AM | Leveraging Machine Learning for Binary Software Understanding | Arizona State |
| 9:45–10:00 AM | Q&A | |
| 10:00–10:30 AM | Improving Malware Classifiers with Plausible Novel Samples | Vanderbilt |
| 10:30–10:45 AM | Q&A | |
| 10:45–11:00 AM BREAK | ||
| 11:00–11:30 AM | Improving Security & Safety of Neural Networks through Robust Training, Noise Augmentation & Safety Metrics | International Computer Science Institute (ICSI) |
| 11:30–11:45 AM | Q&A | |
| 11:45 AM–12:15 PM | Neurosymbolic Autonomous Agents for Cyber Defense | Vanderbilt |
| 12:15–12:30 PM | Q&A | |
| 12:30–1:30 PM LUNCH | ||
| 1:30–2:00 PM PI SYNCS WITH LIAISONS | ||
| 2:00–2:45 PM SPEAKER(S) – TBD | ||
| TRUSTED SYSTEMS | ||
| 2:45–3:15 PM | Predictable & Scalable Remote Attestation | University of Kansas |
| 3:15–3:30 PM | Q&A | |
| 3:30–4:00 PM | Continuous Reasoning with Gradual Verification | Carnegie Mellon |
| 4:00–4:15 PM | Q&A | |
| 4:15–4:30 PM BREAK | ||
| 4:30–5:00 PM | Open Discussion / Reflection / Closing Remarks | All; Adam Tagert / Shavon Donnell |
Submitted by Tony Guzman
on