Email Gateway (Mar 26 2025 at 21:53): Email Gateway (Mar 26 2025 at 21:53):From: "\"Vassena, M. (Marco)\"" <cl-isabelle-users@lists.cam.ac.uk>
The Workshop on Foundations of Computer Security (FCS), is co-located with CSF
in Santa Cruz, CA, USA on June 16, 2025. FCS is a friendly, in-person
1-day workshop that brings together researchers interested in laying the
foundations of secure systems.
FCS welcomes papers on all topics related to the formal underpinnings of
security and privacy, and their applications. The workshop has no formal
proceedings: you are welcome to advertise work that appeared in other venues or
submit your work-in-progress. We are seeking submissions for full-length talks
and short talks. Submissions may conform to any 2-column format accepted by
IEEE, ACM, or USENIX conferences. FCS uses a light form of double-blind
reviewing similar to CSF.
Paper submission: April 6, 2025 (AoE).
Author notification: May 1, 2025
Submission website: https://easychair.org/my/conference?conf=fcs25
For more information, please visit our website: https://fcs-workshop.github.io/fcs2025/
Last updated: Apr 18 2025 at 01:39 UTC