The Computer Security Foundations Symposium is an annual conference for researchers in computer security. CSF seeks papers on foundational aspects of computer security, such as formal security models, relationships between security properties and defenses, principled techniques and tools for design and analysis of security mechanisms, as well as their application to practice. While CSF welcomes submissions beyond the topics listed below, the main focus of CSF is foundational security: submissions that lack foundational aspects risk rejection.
New results in computer security are welcome. We also encourage challenge/vision papers, which may describe open questions and raise fundamental concerns about security. Possible topics for all papers include, but are not limited to: -access control -accountability -anonymity and privacy -authentication -computer-aided cryptography -data and system integrity -database security -decidability and complexity -distributed systems security -electronic voting -formal methods and verification -decision theory -hardware-based security -information flow -intrusion detection -language-based security -network security -data provenance -mobile security -security metrics -security protocols -software security -socio-technical security -trust management -usable security -web security