Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
event
Submitted by Anonymous on Mon, 03/16/2020 - 2:00pm
7th Annual Hot Topics in the Science of Security (HoTSoS) Symposium
September 22-24, 2020 | Virtually hosted by the University of Kansas | https://cps-vo.org/group/hotsos
event
Submitted by Anonymous on Thu, 07/30/2020 - 2:59pm
Privacy + Security Forum - Spring 2021
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
Submitted by Anonymous on Thu, 07/30/2020 - 2: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
Submitted by Anonymous on Thu, 07/30/2020 - 12:51pm
40th Annual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT 2021)
Eurocrypt 2021 is the 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques. Eurocrypt is one of the three flagship conferences of the International Association for Cryptologic Research (IACR).
Eurocrypt 2021 will take place in Zagreb, Croatia on May 2-6, 2021.
event
Submitted by Anonymous on Thu, 07/30/2020 - 12:28pm
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
Submitted by Anonymous on Thu, 07/30/2020 - 11:10am
6th International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH19)
This workshop aims at bringing together researchers and practitioners, and to establish a curated set of benchmarks submitted by academia and industry.
event
Submitted by Anonymous on Thu, 07/30/2020 - 11: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
Submitted by Anonymous on Tue, 07/28/2020 - 5: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.
event
Submitted by Anonymous on Tue, 07/28/2020 - 4:15pm
Software Engineering and Formal Methods (SEFM 2020)
SEFM aims to bring together leading researchers and practitioners from academia, industry, and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
SEFM 2020 will be an entirely virtual event
