Science of Security

A body of knowledge containing laws, axioms and provable theories relating to some aspect of system security.
event

Visible to the public  CyberSTEM Camp 2017
Jul 17, 2017 7:00 am - Jul 21, 2017 6:00 pm EDT

CyberSTEM Camp

Dates: July 17-21, 2017

This 5 day experience provides hands-on activities focused on STEM and cybersecurity topics. Attendees will learn and apply basic concepts of programming, forensics, cryptography, and program management from a series of gaming, modeling, and simulation activities, which explore the interconnections of science, math, technology, and computers.

Topics Covered

event

Visible to the public  UMD Cyber Defense Training Camp (2017)
Jul 09, 2017 9:00 am - Jul 15, 2017 5:00 pm CDT

Cyber Defense Training Camp is an intermediate level* 7 day residential summer program for high school men and women (rising juniors and seniors). Participants will have the opportunity to expand their knowledge of cybersecurity and gain practical skills through instruction by an experienced security professional. Students learn about career options in the field, take at least one field trip and hear from a variety of speakers to learn more about how to prepare to enter this exciting profession.

event

Visible to the public  SETTA 2017
Oct 23, 2017 7:00 am - Oct 25, 2017 6:00 pm CST

The 3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017)

October 23-25, 2017 | Changsha, China | http://lcs.ios.ac.cn/setta2017/

Invited Speakers

  • Cliff Jones (Newcastle University)
  • Rupak Majumdar (Max Planck Institute for Software Systems)
  • Sanjit Seshia (University of California, Berkeley)

Program Chairs:

forum

Visible to the public CfP special sessions: International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES 2017)

CALL FOR SPECIAL SESSIONS

International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES 2017)

at the Embedded System Week (ESWeek)

October 15-20, 2017 | Seoul, South Korea | http://www.esweek.org/cases

event

Visible to the public  CASES 2017
Oct 15, 2017 7:00 am - Oct 20, 2017 6:00 pm KST

International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES 2017)

at the Embedded System Week (ESWeek)

October 15-20, 2017 | Seoul, South Korea | http://www.esweek.org/cases/