Digital technologies are integral to our lives. Software is pervasive at every level: from IoT devices running firmware, to cloud systems delivering APIs and services, to cyber-physical systems making decisions and impacting the real world. Ensuring software security is therefore essential to protect our data, safeguard digital identities, and prevent attacks that could have devastating consequences. The complexity of the software ecosystem, with its dependencies on external libraries and tools, has expanded the attack surface, making the software supply chain a potential vector for exploitation. The SERICS doctoral summer school on “Secure Software Development: From Design to Implementation” will focus on advancing secure software development through innovative programming paradigms and formal verification techniques. Lecturers will cover methods for developing secure-by-design and certified software, as well as strategies for testing and protecting the software supply chain through targeted security analyses and assessments. Practical labs will provide participants with hands-on experience using state-of-the-art software analysis tools.
