Hot Topics in the Science of Security Symposium (HotSoS)

The Hot Topics in the Science of Security (HotSoS) Symposium is a research event centered on the Science of Security, which aims to address the fundamental problems of security in a principled manner. The thirteenth annual event will be virtually held April 14-16, 2026. HotSoS brings together researchers from diverse disciplines to promote advancement of work related to the science of security. The Call for Papers will be available in October 2025. The program will include presentations of already published work in security and privacy, particularly that which examines scientific foundations of trustworthy systems. Additionally, work-in-progress manuscripts will be accepted for presentation. The papers in this category will receive early feedback on a research direction, technology, or idea before it has been fully evaluated. We will again include student presentations and also have a poster session highlighted by a poster competition. The Science of Security (SoS) emphasizes the advancement of research methods as well as the development of new research results. This dual focus is intended to improve both the confidence we gain from scientific results and also the capacity and efficiency through which we address increasingly technical problems. 

2025 Live Stream

Keynote Speakers
(To Be Announced)


General Chair

Adam Tagert
ADAM TAGERT is the technical director the National Security Agency Science of Security Initiative. He sets the technical direction for research projects at 18 Science of Security (SoS) funded universities, leads the NSA Best Cybersecurity Paper Competition, guides the SoS awards at the International Science and Engineering Fair, and builds community with the SoS Virtual Organization. He received his Ph.D. from Carnegie Mellon University in Engineering and Public Policy where he researched national cybersecurity strategies of small developing nations, particularly Rwanda. He obtained a Computer Science degree from Princeton University.

Program Chairs

BENJAMIN ERICHSON
BENJAMIN ERICHSON is a Research Scientist (Career) at the Lawrence Berkeley National Laboratory. He also leads the Deep Learning Group at the International Computer Science Institute (ICSI), an affiliated institute of UC Berkeley. Prior to this role, he was an Assistant Professor (Tenure-Track) for Data-driven Modeling and Artificial Intelligence in the Department of Mechanical Engineering and Materials Science at the University of Pittsburgh, from September 2021 to December 2022. Before joining Pitt, he was a postdoctoral researcher in the Department of Statistics at UC Berkeley, where he worked with Michael Mahoney, and was part of the RISELab in the Department of Electrical Engineering and Computer Sciences (EECS) at UC Berkeley. Earlier, he held a postdoctoral position in the Department of Applied Mathematics at the University of Washington (UW), working with Nathan Kutz and Steven Brunton. He earned his PhD in Statistics at the University of St Andrews in December 2017, where he also completed an MSc in Applied Statistics.
Jonathan Aldrich
JONATHAN ALDRICH is a Professor of Computer Science and Software Engineering at Carnegie Mellon University, where he directs the Master of Software Engineering program as of July 2025. He is the coauthor (with Michael Scott) of the textbook Programming Language Pragmatics. His research combines programming languages, software engineering, and human-computer interaction to explore how the way we express software affects our ability to engineer software at scale. A particular theme of much of his work is improving software quality and programmer productivity through better ways to express structural and behavioral aspects of software design within source code. Aldrich has contributed to ownership, typestate checking, modular and gradual verification techniques, and usability in programming language and type system design. For his work specifying and verifying architecture, he received a 2006 NSF CAREER award, the 2007 Dahl-Nygaard Junior Prize, and an ICSE test of time award. Outside the university, he serves on the ACM Publications Board and is the CTO of Noteful, a startup delivering a free, fun educational app for music theory and note reading (www.noteful.net).

Organization

Special Chairs

NSA Math Liaison:
FRANK DAVIS (NSA)

Publicity Chair:
NATALIE SCALA (Towson)

Poster Chair:
JULEIGH WILSON (DSU)
 

 

Organizers

Communications and Organization: 
REGAN WILLIAMS (Vanderbilt)

KATIE DEY (Vanderbilt)

Graphic Design:  
TONY GUZMAN (Vanderbilt)

Science of Security Liaison:
SHAVON DONNELL (NSA)

Technical Program Committee

 

(To Be Announced)

 

Past Events

Embedded Node

hotsos 2025 logo

2025 SYMPOSIUM & BOOTCAMP ON THE SCIENCE OF SECURITY 

The 2025 Symposium and Bootcamp on the Science of Security (HotSoS) was virtually hosted by the National Security Agency (NSA) from April 1-3, 2025. HotSoS '25 was conducted in a remote setting and featured three days of keynote presentations, invited talks, WIP sessions, and posters and demos. 

PROGRAM | CALL FOR PAPERS | PROGRAM COMMITTEE


    2024 SYMPOSIUM & BOOTCAMP ON THE SCIENCE OF SECURITY 

The 2024 Symposium and Bootcamp on the Science of Security (HotSoS) was virtually hosted by the National Security Agency (NSA) from April 2-4, 2024. HotSoS '24 was conducted in a remote setting and featured three days of keynote presentations, invited talks, WIP sessions, and posters and demos. 

PROGRAM | CALL FOR PAPERS | PROGRAM COMMITTEE


   


2023 SYMPOSIUM & BOOTCAMP ON THE SCIENCE OF SECURITY 

The 2023 Symposium and Bootcamp on the Science of Security (HotSoS) was virtually hosted by the National Security Agency (NSA) from April 3-5, 2023. HotSoS '23 was conducted in a remote setting and featured three days of keynote presentations, invited talks, WIP sessions, and posters and demos. 

PROGRAM | CALL FOR PAPERS | PROGRAM COMMITTEE


   


2022 SYMPOSIUM & BOOTCAMP ON THE SCIENCE OF SECURITY 

The 2022 Symposium and Bootcamp on the Science of Security (HotSoS) was virtually hosted by University of Illinois, Urbana-Champaign from April 5-7, 2022. HotSoS was once more conducted in a remote setting due to the Covid-19 pandemic, and featured three days of keynote presentations, invited talks, WIP sessions, and posters and demos. 

PROGRAM | CALL FOR PAPERS | PROGRAM COMMITTEE


 


2021 SYMPOSIUM & BOOTCAMP ON THE SCIENCE OF SECURITY 

The 2021 Symposium and Bootcamp on the Science of Security (HotSoS) was virtually hosted by the National Security Agency April 13-15, 2021. HotSoS'21 was conducted in a completely remote setting due to the Covid-19 pandemic, but still featured a mix of panels, invited talks, refereed papers, and tutorials to be published by ACM. 

PROGRAM | CALL FOR PAPERS | PROGRAM COMMITTEE


 


2020 SYMPOSIUM & BOOTCAMP ON THE SCIENCE OF SECURITY 

The 2020 Symposium and Bootcamp on the Science of Security (HotSoS) was held September 22 - 24, 2020 virtually, hosted by the University of Kansas. Unlike in previous years, HotSoS'20 was conducted in a completely remote setting due to the Covid-19 pandemic, but still featured a mix of panels, invited talks, refereed papers, and tutorials to be published by ACM. HoTSoS'20 also marked the 20th aniversary of the symposium, and featured a special aniversary panel.

PROGRAM | CALL FOR PAPERS | PROGRAM COMMITTEE | PROCEEDINGS


 


2019 SYMPOSIUM & BOOTCAMP ON THE SCIENCE OF SECURITY 

The 2019 Symposium and Bootcamp on the Science of Security (HotSoS) was held April 1-3, 2019 in Nashville, Tennessee. As in previous years, HotSoS'19 featured a mix of panels, invited talks, refereed papers, and tutorials published by ACM. Researchers from diverse disciplines were brought together to promote the advancement of work related to the science of security.

PROGRAM | CALL FOR PAPERS | PROGRAM COMMITTEE | PROCEEDINGS


 


2018 SYMPOSIUM & BOOTCAMP ON THE SCIENCE OF SECURITY 

The 2018 Symposium and Bootcamp on the Science of Security (HotSoS) was held April 10-11, 2018 in Raleigh, North Carolina. The symposium brought together researchers from diverse disciplines to promote advancement of work related to the science of security. As in previous years, the conference featured a mix of invited talks, panels, tutorials, and refereed papers to be published by ACM.           
 

PROGRAM | CALL FOR PAPERS | PROGRAM COMMITTEE | PROCEEDINGS


 


2017 SYMPOSIUM & BOOTCAMP ON THE SCIENCE OF SECURITY 

The 2017 Symposium and Bootcamp on the Science of Security (HotSoS) was held April 4-5 in Hanover, Maryland at The Hotel at Arundel Preserve. As in previous years, HoTSoS 2017 created a forum for dialogue centered upon the development and advancement of research, specifically focusing on the Science of Security Hard Problems. For the 2017 event, HoTSoS also solicitated papers having specific applications to privacy, broadly construed, and the security of cyber-physical systems.

PROGRAM | CALL FOR PAPERS | PROGRAM COMMITTEE | PROCEEDINGS


 


2016 SYMPOSIUM & BOOTCAMP ON THE SCIENCE OF SECURITY 

The 2016 Symposium and Bootcamp on the Science of Security (HotSoS) was held April 19-21 in Pittsburgh, PA at Carnegie Mellon University. Researchers from multiple academic fields came together for presentations demonstrating methodical, rigorous, scientific approaches to identify, prevent, and remove cyber threats. A major focus of the conferences was on the advancement of scientific methods, including data gathering and analysis, experimental methods, and mathematical models for modeling and reasoning.

PROGRAM | CALL FOR PAPERS | PROGRAM COMMITTEE | PROCEEDINGS      


 


2015 SYMPOSIUM & BOOTCAMP ON THE SCIENCE OF SECURITY 

The 2015 Symposium and Bootcamp on the Science of Security (HoTSoS) was held April 21-22 at the University of Illinois at Urbana-Champaign National Center for Supercomputing Applications. This third annual conference brought together researchers from numerous disciplines seeking a methodical, rigorous scientific approach to identifying and removing cyber threats. As part of the Science of Security program, the HotSoS goal is to understand how computing systems are designed, built, used, and maintained with an understanding of their security issues and challenges. It seeks not only to put scientific rigor into research, but also to identify the scientific value and underpinnings of cybersecurity.

PROGRAM | CALL FOR PAPERS | ORGANIZERS | PROCEEDINGS


 


2014 SYMPOSIUM & BOOTCAMP ON THE SCIENCE OF SECURITY 

The 2014 Symposium and Bootcamp on the Science of Security (HoTSoS) was held April 8-9, 2014 in Raleigh, North Carolina. Over 130 leaders from government, industry, and the academic community met to discuss new and ongoing programs in security science. The presentations emphasized a broad range of topics including computing architectures, networks, software engineering practices, models of human interaction and behavior, organizational models, and evaluation methodologies.

PROGRAM | CALL FOR PAPERS | PROCEEDINGS          


INAUGURAL SCIENCE OF SECURITY COMMUNITY MEETING (2012)

The National Security Agency held the first Science of Security (SoS) Community Meeting on November 29-30, 2012 at the Gaylord National Hotel and Convention Center in National Harbor, Maryland.

Over 150 leaders from government, industry, and the academic community met to discuss new and ongoing programs in security science being pursued by U.S. government research sponsors, and an exciting new Cybersecurity Research Institute recently established in the U.K. The presentations included work in a broad range of disciplines including mathematics, computer science, behavioral science, economics, physics, and biology. The meeting introduced a new Science of Security Virtual Organization website designed to promote research collaboration and community development. NSA's Director of Research concluded the meeting with the announcement of a Cybersecurity Science Paper Competition.

PROGRAM