Software Safety and Security
The course covers fundamental program analysis techniques based on types and logics to identify illicit behavior, verify its absence, and explore tools that implement these techniques. Course will start when the number of participants is sufficient.
Course offered by
Instructor
Cyrille Valentin Artho
Associate professor
Language
English
Learning Objectives
- - explain safety and security aspects for systems,
- - construct models of systems,
- - specify and analyse safety and security properties,
- - apply analytical tools on software systems,
- - evaluate and compare different approaches to verification and validation of software systems,
Prerequisites
- Good knowledge and skills in programming, programming languages, and program semantics. Knowledge of first-order logic and finite automata.
Topics dealt with
FundamentalsOffensive SecuritySecure Development
Modules
Not sure where to start?
Learn how the Cycerone portal works, how courses and learning pathways are organized, and how to find the training opportunities that best match your needs.