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. This 32nd annual conference will be held on the Stevens Institute of Technology campus from June 25-28, 2019.
Over the past two decades, many seminal papers and techniques have been presented first at the CSF. The program includes papers and panels covering interest in 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 foundation research in this area.
For additional information, visit the conference website.