2020

news

Visible to the public Solicitation: NSF Secure and Trustworthy CyberSpace (SaTC) [Solicitation 21-500]

Submitted by willirn1 on Thu, 10/15/2020 - 11:33am

Secure and Trustworthy Cyberspace (SaTC)

PROGRAM SOLICITATION
NSF 21-500

REPLACES DOCUMENT(S):
NSF 19-603

National Science Foundation

Directorate for Computer and Information Science and Engineering
     Division of Computer and Network Systems
     Division of Computing and Communication Foundations
     Division of Information and Intelligent Systems
     Office of Advanced Cyberinfrastructure

news

Visible to the public ARCH 2020 Best Result Award

Submitted by frehse on Tue, 08/04/2020 - 11:11am

The ARCH 2020 Best Result Award goes to Luis Benet, Marcelo Forets, Daniel Freire, David P. Sanders, and Christian Schilling (in alphabetical order) for their verification tool JuliaReach. The award comes with a 500 Euro prize. Congratulations!

event

Visible to the public  SEW & IWCPS 2020
Sep 06, 2020 7:00 am - Sep 09, 2020 6:00 pm CEST

Submitted by Anonymous on Thu, 07/30/2020 - 3:08pm

Joint 40th IEEE Software Engineering Workshop (SEW-40) and

event

Visible to the public  Privacy+Security Forum - Fall 2020
Oct 21, 2020 7:00 am - Oct 23, 2020 6:00 pm EDT

Submitted by Anonymous on Thu, 07/30/2020 - 1:53pm

Privacy+Security Forum - Fall 2020

The Privacy + Security Forum breaks down the silos of privacy and security by bringing together seasoned thought leaders. Sessions and workshops are rigorous and deliver practical takeaways for all participants throughout the conference. Forum speakers engage the highly experienced audience in discussion, scenarios, and hands-on activities.

event

Visible to the public  CSF 2020
Jun 22, 2020 7:00 am - Jun 25, 2020 6:00 pm EDT

Submitted by Anonymous on Thu, 07/30/2020 - 12:49pm

33rd IEEE Computer Security Foundations Symposium (CSF 2020)

The Computer Security Foundations Symposium (CSF) is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security.

event

Visible to the public  EUROCRYPT 2020
May 11, 2020 7:00 am - May 15, 2020 6:00 pm BST

Submitted by Anonymous on Thu, 07/30/2020 - 11:48am

39th Annual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT 2020)

Eurocrypt 2020 will take place as a virtual conference on May 11-15 2020. Eurocrypt 2020 is organized by the International Association for Cryptologic Research (IACR). The proceedings will be published by Springer in the LNCS series.

Original contributions on all technical aspects of cryptology are solicited for submission. Topics include, but are not limited to:

event

Visible to the public  CODASPY 2020
Aug 03, 2020 1:30 pm - Aug 04, 2020 2:30 pm EDT

Submitted by Anonymous on Thu, 07/30/2020 - 11:28am

9th ACM Conference on Data and Application Security and Privacy

With rapid global penetration of the Internet and smart phones and the resulting productivity and social gains, the world is becoming increasingly dependent on its cyber infrastructure. Criminals, spies and predators of all kinds have learned to exploit this landscape much quicker than defenders have advanced in their technologies. Security and Privacy has become an essential concern of applications and systems throughout their lifecycle.

event

Visible to the public  ARCH 2020
Jul 12, 2020 7:00 am - 6:00 pm CEST

Submitted by Anonymous on Thu, 07/30/2020 - 10:00am

7th International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH)

While progress in the verification of continuous and hybrid systems has lead to academic tools and algorithms that can handle systems of considerable complexity, the transition to industrial applications is challenging. The goal of the workshop is to bring together people from industry with researchers and tool developers interested in applying verification to continuous and hybrid systems.

event

Visible to the public  ARES 2020 - Virtual
Aug 25, 2020 7:00 am - Aug 28, 2020 6:00 pm CEST

Submitted by Anonymous on Wed, 07/29/2020 - 11:24am

The 15th International Conference on Availability, Reliability and Security (ARES 2020)

The International IFIP Cross Domain Conference for Machine Learning & Knowledge Extraction (CD-MAKE) will be co-located with ARES 2020!

The International Conference on Availability, Reliability and Security ("ARES") brings together researchers and practitioners in the area of dependability since 2006. ARES highlights the various aspects of security - with special focus on the crucial linkage between availability, reliability and security.

event

Visible to the public  FORMALISE 2020
May 25, 2020 7:00 am - May 26, 2020 6:00 pm KST

Submitted by Anonymous on Tue, 07/28/2020 - 4:12pm

8TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2020)

FormaliSE 2020 will be held virtually, with a mix of asynchronous and synchronous events.