Tucson is one of the "Top 25 best places to travel in 2025," or so does the BBC say. Personally, I would rather live here. But I get that some can only visit. bbc.com/travel/article…

Congratulations 🎉 Daphne Yao (Yao Group), affiliate faculty The Sanghani Center at Virginia Tech, and 6 other Virginia Tech faculty named senior members National Academy of Inventors. Yao has pioneered multiple high-precision anomaly detections for complex software and systems. tinyurl.com/2p99n6pv

We have an outstanding lineup of software engineering and security researcher in this year's PC! We will be looking forward to your submission! :) secdev.ieee.org/2025/program-c…

Together with Mihai Christodorescu (Google), John Mitchell (Stanford), Khawaja Shams (Google) and Somesh Jha (Wisconsin), we are organizing a workshop on Secure AI Agents co-located with IEEE S&P 2025! This will be a discussion oriented workshop (details in thread).

Three weeks left for your submission to IEEE SecDev 2025! You may submit short (6 pages) or long (10 pages) research or experience papers, or practitioners' abstracts (2 pages). In addition, we are looking for proposals for tutorials (2 pages). CFP: secdev.ieee.org/2025/cfp/

An incredible line of PCs with security and software engineering expertise is waiting for your submissions!

Happy to announce that the paper submission deadline for IEEE Secure Development is extended to May 20, 2025! Details here: secdev.ieee.org/2025/cfp/ Submission portal: …p.secdev25-research.ieee-security.org #IEEESecDev #CyberSecurity

This year's IEEE Secure Development Cybersecurity Award for Practice nominations are now OPEN! Let's go!

IEEE SecDev 2025 IEEE Secure Development (Practitioner Session) CFP is open until May 30th. This is the ideal mix between academic and industry session, with very short paper lenght requirements (2 pages) and a very pragmatic commitee. Work in progress projects and idea discussions are

Ideally all papers should publish their code. You can help realize this by applying to be an artifact reviewer at NDSS'26. You'll get to review artifacts of accepted papers. We especially encourage junior/senior PhD students & PostDocs to apply: docs.google.com/forms/d/e/1FAI…

Kicking off day 2 FSE 2025 with a keynote from Laurie Williams

Serena (Serena Elisa Ponta) and I are excited to announce the keynote speakers for #IEEESecDev 2025: 🔹Cristina Nita-Rotaru (Northeastern University) 🔹Mike Hicks (Amazon Web Services) Both Cristina and Mike's works are shaping the future of formally assured security! IEEE Secure Development