Inter-University Centre Dubrovnik

An independent international centre for advanced studies

Mathematics, Science and Technology Mathematics, Science and Technology


21 Jun 2021 - 25 Jun 2021
Conference directors:
Andrei Sabelfeld, Chalmers Univ. Tech, Sweden
Ralf Küsters, Stuttgart Technology University of Applied Sciences, Germany
David Nauman, Stevens Institute of Technology, Hoboken, United States
Ante Đerek, University of Zagreb, Croatia
Tajana Ban Kirigin, University of Rijeka, Croatia
Conference description:

The Computer Security Foundations Symposium (CSF) is an annual symposium for researchers in computer security and privacy, to develop and examine theories of security and privacy, to build the formal models that provide a context for those theories, and to study techniques for verifying, analyzing, and implementing security and privacy. It was created in 1988 as a workshop of the IEEE Computer Society's Technical Committee on Security and Privacy, in response to a 1986 essay by Don Good entitled The Foundations of Computer Security—We Need Some. The meeting became a “symposium” in 2007, along with a policy for open, increased attendance. Over the past two decades, many seminal papers and techniques have been presented first at CSF. All topics relating to foundational security and privacy are in scope.

The program includes papers, panels, and a poster session. Topics of interest include 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 foundational research in this area.