Validation and Verification

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

Visible to the public  HoTSoS 2020 - Virtual
Sep 22, 2020 7:00 am - Sep 23, 2020 6:00 pm CDT

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

Visible to the public  Privacy + Security Forum - Spring 2021
May 24, 2021 7:00 am - May 26, 2021 6:00 pm EDT

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

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

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  EUROCRYPT 2021
May 02, 2021 7:00 am - May 06, 2021 6:00 pm EEST

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

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

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 2019
Apr 15, 2019 7:00 am - 6:00 pm EDT

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

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

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  FORMALISE 2020
May 25, 2020 7:00 am - May 26, 2020 6:00 pm KST

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

Visible to the public  SEFM 2020 - Virtual
Sep 14, 2020 7:00 am - Sep 18, 2020 6:00 pm CEST

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