[TYPES/announce] CSF 2020 - Call for Short Talks

[Gaboardi, Marco]

CSF 2020 - Call for Short Talks
--------------------------------

The Computer Security Foundations Symposium is an annual conference for researchers in computer security. Following the current COVID-19 situation,
this year CSF will be an online event. 
https://www.ieee-security.org/TC/CSF2020/

Dates: June 22 to 26, 2020

CSF is now seeking *short talks* 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 above, the main focus of CSF is foundational security and privacy.

Short talks are a great way to present late-breaking results, works-in-progress, works you want to advertise, and student projects to the CSF community.

Each accepted short talk will be assigned a 5 min slot.

Deadline: June 20, 2020

Submission Instructions:

Authors are required to submit a title and abstract by email to gaboardi at bu.edu with subject "[CSF 2020] short talk proposal".