CSF 2027 – 40th 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.