The Workshop on Foundations of Computer Security presents papers on all topics related to the formal underpinnings of security and privacy, and their applications. This year’s online conference will feature several talks on blockchain, formal methods, and information flow control, as well as a keynote by Bryan Parno (CMU). More details about the goals and scope of FCS 2020 can be found here: https://owenarden.github.io/fcs2020/. FCS is co-located with the CSF’20 (https://www.ieee-security.org/TC/CSF2020/cfp.html).
Elaine Shi and Owen Arden (co-chairs of FCS’20) will be happy to help promote the ZCash foundation and graciously acknowledge our sponsor at FCS. We will also ask the CSF organizers to acknowledge ZCash foundation too.
We are seeking funds to encourage student participation in this year’s online workshop. Registration for FCS’20 is included with CSF’20 registration ($50 for general attendees). We would like to offer free registration for the first ~100 students. (The exact number of free registrations offered will be negotiated with the CSF organizers.)
As the organizers of FCS, we will acknowledge the ZCash Foundations support in our opening and closing remarks and on the FCS website. Furthermore we will also ask that the CSF organizers acknowledge the ZCash Foundation support.
Risks are low. In the worst case, our requested funds will receive no discount from CSF and will only pay for 70 student registrations.
$3500 pays for at least 70 CSF registration fees (at $50 per attendee), but we hope to leverage these funds to permit 100 students to register (if the CSF organizing committee agrees).