Conference Description
Key Takeaways
- Premier academic symposium on the theoretical foundations of computer security
- Focus on formal methods, verification techniques, and foundational research
- Features peer-reviewed papers, panels, and poster sessions
- Targets researchers, faculty, and advanced practitioners in security
- Sponsored by the IEEE Computer Society’s Technical Committee on Security and Privacy
The IEEE Computer Security Foundations Symposium (CSF 2026) stands as a leading academic event dedicated to advancing the theoretical and formal underpinnings of computer security. Since its inception in 1988, the symposium has provided a rigorous platform for researchers to present and discuss new theories, models, and verification techniques that shape the discipline. CSF 2026 continues this tradition, fostering critical academic exchange and thought leadership in the field.
Event Overview
CSF 2026 is recognized for its commitment to foundational research in computer security. The symposium brings together leading academics and practitioners to explore the latest advances in formal models, security theories, and verification methods. Attendees can expect a robust program featuring peer-reviewed papers, interactive panels, and poster sessions that encourage deep discussion and collaboration.
The event is held in-person in Lisbon, Portugal, and is colocated with FLOC 2026. This setting provides a unique opportunity for participants to engage with a broader community of researchers while focusing on the core challenges and innovations in computer security.
Main Topics and Themes
CSF 2026 covers a wide range of subjects central to the advancement of computer security. Key topics include access control, information flow, covert channels, cryptographic protocols, database security, language-based security, authorization and trust, and the application of formal methods. The symposium places a strong emphasis on verification techniques and the development of trustworthy security protocols.
Recurring themes highlight the importance of foundations of computer security, formal models, and theories of security. These focus areas ensure that the event remains at the forefront of academic research and continues to influence the direction of the field.
Audience and Impact
The symposium is tailored for academic researchers, PhD students, university faculty, and advanced practitioners specializing in computer security. Attendees typically hold roles such as security researcher, professor, postdoctoral fellow, or graduate student, and are affiliated with universities, research institutions, or advanced R&D departments.
CSF 2026 addresses the need for rigorous security models and formal verification, helping to solve foundational and technical challenges in secure system design. The event’s focus on education, thought leadership, and community building reinforces its position as a cornerstone in the academic security landscape.