[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 gaboa...@bu.edu
with subject "[CSF 2020] short talk proposal".
