CSF (IEEE Computer Security Foundations Symposium) is a premier academic venue for research on computer security foundations, including formal methods for security, cryptographic protocols, and privacy. Notable publications include MIRONOV2017 by Ilya Mironov, which introduced the Renyi differential privacy framework.