The Computer Security Foundations Symposium (CSF) is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security. Topics of interest include access control, information flow, covert channels, cryptographic protocols, database security, language-based security, authorization and trust, verification techniques, integrity and availability models, and broad discussions concerning the role of formal methods in computer security and the nature of foundational research in this area.

IEEE 39th Computer Security Foundations Symposium (CSF) is technically sponsored by IEEE. The proceedings of the conference will be submitted for inclusion in prestigious databases such as Scopus, Web of Science (WoS), Ei Compendex, DBLP, Google Scholar, and many others.