Formal foundations for computer security have emerged in recent years, including the formal specification and analysis of security protocols, programming languages, access control systems, and their applications. A particular aspect of security is personal privacy, which may be threatened whenever users interact with services and devices which are not directly under their control. From a user's point of view, privacy is often seen as a part of security; but from a service provider's point of view, privacy and security are often opposites that have to be balanced with each other.
FCS-PrivMod aims to bring together international reserachers from industry and academia in formal methods, computer security, and privcay, to develop advances and new perspectives in security and privacy models and analysis. It comprises the FCS workshop (Foundations of Computer Security), a satellite of LICS since 2002, and PrivMod (Privacy: Models & Analysis), a new workshop specifically about privacy-supporting protocols and systems.
More information can be found here.
- Michael Clarkson, Cornell University
- Hubert Comon-Lundh, CNRS & ENS de Cachan
- Bart Jacobs, Technical University Eindhoven