IEEE Computer Security Foundations Symposium

The 40th IEEE Computer Security Foundations Symposium (CSF 2027), held in Tokyo, Japan. The program includes presentations of accepted papers and invited talks, covering topics such as access control, information flow, covert channels, cryptographic protocols, database security, language-based security, authorization and trust, verification techniques, integrity and availability models, and formal methods in computer security.

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.