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  GameSec 2020 (Online)
Oct 28, 2020 7:00 am - Oct 30, 2020 6:00 pm EDT

11th Conference on Decision and Game Theory for Security (GameSec 2020)

Modern societies are becoming dependent on information, automation, and communication technologies more than ever. Managing the security of the emerging systems, many of them safety critical, poses significant challenges.

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

forum

Visible to the public CfP: The AAAI's Workshop on Artificial Intelligence Safety (SafeAI 2021)

The AAAI's Workshop on Artificial Intelligence Safety (SafeAI)

Feb 8/9, 2021 | Virtual @AAAI-21 | https://safeai.webs.upv.es/

Important DATES (Extended)

  • Paper Submission: Nov 9 - AOE time
  • Acceptance Notification: Nov 30 - AOE time
  • Camera Ready Version: Dec 15

SafeAI aims to explore new ideas on AI safety engineering, ethically aligned design, regulation and standards for AI-based systems.

event

Visible to the public  SafeAI 2021
Feb 08, 2021 7:00 am - Feb 09, 2021 6:00 pm EST

The AAAI's Workshop on Artificial Intelligence Safety (SafeAI)

Feb 8/9, 2021 | Virtual @AAAI-21

SafeAI aims to explore new ideas on AI safety engineering, ethically aligned design, regulation and standards for AI-based systems.

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.