posted by organizer: Morisset || 3154 views || tracked by 2 users: [display]

FCS 2019 : Workshop on Foundations of Computer Security 2019

FacebookTwitterLinkedInGoogle

Link: http://homepages.cs.ncl.ac.uk/charles.morisset/fcs2019/index.html
 
When Jun 24, 2019 - Jun 24, 2019
Where Hoboken, USA
Submission Deadline Apr 22, 2019
Notification Due May 6, 2019
Categories    security   computer science   formal methods
 

Call For Papers

Computer security is an established field of both theoretical and practical significance. In recent years, there has been sustained interest in the formal foundations of methods used in computer security. The aim of the FCS 2019 workshop is to provide a forum for the discussion of continued research in this area.

FCS 2019 welcomes papers on all topics related to the formal underpinnings of security and privacy, and their applications. The scope of FCS 2019 includes, but is not limited to, formal specification, analysis, and design of cryptographic protocols and their applications; formal definitions of various aspects of security such as access control mechanisms, mobile code security and denial-of-service attacks; modeling of information flow and its application to confidentiality policies, system composition, and covert channel analysis; foundations of privacy; applications of formal techniques to practical security and privacy.

We are interested in new theoretical results, in exploratory presentations that examine open questions and raise fundamental concerns about existing theories, and in the development of security/privacy tools using formal techniques. Demonstrations of tools based on formal techniques are welcome, as long as the demonstrations can be carried out on a standard digital projector (i.e., without any specialized equipment). We solicit the submission of both mature work and work in progress.

Possible topics include, but are not limited to:

Automated reasoning techniques
Composition issues
Formal specification
Foundations of verification
Information flow analysis
Language-based security
Logic-based design
Program transformation
Security models
Static analysis
Statistical methods
Tools
Trust management


for

Access control & resource usage control
Authentication
Availability and denial of service
Covert channels
Confidentiality
Integrity and privacy
Intrusion detection
Malicious code
Mobile code
Mutual distrust
Privacy
Security policies
Security protocols

Related Resources

ICPR-IETBiom-VSaaS 2021   25th ICPR Special Issue on Real-Time Visual Surveillance as-a-Service (VSaaS) for Smart Security Solutions in IET Biometrics
AVC 2020   Advances in Vision Computing: An International Journal
CCVPR 2020   2020 3rd International Joint Conference on Computer Vision and Pattern Recognition (CCVPR 2020)
JSE 2020   9th International Conference on Software Engineering and Applications
ESEC/FSE 2020   ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
IEEE-CVIV 2020-Ei/Scopus 2020   2020 2nd International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2020)
FCSIT 2020   2020 2nd Euro-Asia Conference on Frontiers of Computer Science and Information Technology (FCSIT 2020)
CSITEC 2020   6th International Conference on Computer Science, Information Technology
CSW 2021   2021 International Workshop on Cyber Security (CSW 2021)
EI-CGMIP 2020   2020 2nd International Symposium on Computer Graphics, Multimedia and Image Processing (CGMIP 2020)