Tutorial: Getting to Understand Software Model Checking - An Essential Technology for Cybersecurity

Description

Approved for 3 CompTIA CEUs: A+, Network+; 3 CertNexus CFR CECs; 3 GIAC CPEs

Fundamentally, the safety and cyber security problems stem from the complexities inherent in the software at the heart of cyber-physical systems. The objective of the tutorial is to expose the attendees to software model checking as a state-of-the-art technology for verifying critical software. 

Software model checking is the algorithmic analysis of programs to prove properties of their executions. It traces its roots to logic and theorem proving, both to provide the conceptual framework in which to formalize the fundamental questions and to provide algorithmic procedures for the analysis of logical questions.

We have crystalized advanced research into material that is fit for engaging bright undergraduate students who are interested in cybersecurity. The disseminated knowledge will be valuable to attendees and it is not available from textbooks or through Google searches.

Tracks:

• 
  Continuing Education
• 
  Technical Tutorials