Workshop on Foundations of Computer Security (FCS)

June 24th, 2019

 June 24th, 2019  

Workshop on Foundations of Computer Security (FCS)

United States  »  Northeast, USA  »  New Jersey » 
June 24th, 2019

Event Website

InfoSec Conference Summary

The description was submitted by the Conference Organizer. We sometimes edit it to enhance the listing.

favouriteLoadingAdd this conference to your favourites

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.

We're proudly sponsored by Kuppering Cole. They've geneoursouly given our community a 15% discount on all ticket sales. Use code "infosecspecial15" to apply the promo. Their next event will be "Digital Finance World 2019"

Digital Finance World 2019

Submit a review for this event.

Did you attend Workshop on Foundations of Computer Security (FCS)? Let us know how it was and share your experience with the greater community.

Leave a Comment

This site uses Akismet to reduce spam. Learn how your comment data is processed.