Skip to main content

Cybersecurity

DevSecOps

The course will present the DevSecOps methodology used to develop secure software at pace. We will explore the culture and the technical innovations and tools that allow going automatically from the code to software running in production without human intervention.

Cybersecurity

Read more
Introduction to Cybersecurity

We introduce DevSecOps, a combination of cultural philosophies, practices, and tools that is getting traction in the software development industry. DevSecOps allows for delivering safer applications and services at high velocity, as well as for evolving and improving products at a faster pace than organizations using traditional software development and infrastructure management processes.

Cybersecurity

Read more
Security by Design using Formal Methods

Security by Design is a software development approach that integrates security tactics and patterns from the beginning of software design to build security into the system from the ground up. Formal methods for software specification and verification are a host of mathematical techniques and tools that can support the design and development of secure systems following the security by design approach. This course provides a high-level introduction to security by design using formal methods, including case studies and experience reports from industry. The fundamentals of this approach are illustrated using industry-level tools for formal software specification like TLA+ and its toolbox for model-checking and machine-checked proofs.

Cybersecurity

Read more