Schlein Center for Cybersecurity publicly launched
Schlein Center for Cybersecurity publicly launched
Paper “Agentic Root Cause Reasoning and Localization of Unsoundness in Static Call Graph Analysis” (with Mohammad Rafieian and Shiyi Wei) accepted to ICSE 2027
Received funding (with Benjamin Pierce and Harrison Goldstein) from Renaissance Philanthropy’s AI for Math Fund for Software Foundations in Lean
Teaching Software Foundations, now in Lean!
New blog post (with Steve Lipner): Beyond Penetrate-and-Patch: Why AI’s Greatest Security Contribution Will Be Secure-by-Design
Pleased to welcome Cheng Zhang and Mrigank Pawagi to my group at Penn!
New course: Secure System Engineering and Management: A Data-Driven Approach
Joined DARPA’s Information Science & Technology (ISAT) Study Group, for 2026-2029
Spoke at the 17th Cyber Public Health workshop about measuring end-user cyber harm
New course: Empirical Security and Privacy, for Humans
Started as a Professor at Penn!