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.
KTH Royal Institute of Technology
Stockholm, Sweden
Sweden's most prominent technical university leading sustainable societal development.
Explore Our CoursesProfessionals trained3,5K+
100K+Professionals in our global community
1courses on Cycerone
1,5K+Courses provided
Engineering, science, and architecture for a sustainable future
KTH Royal Institute of Technology is one of Europe's leading technical universities, combining academic excellence with innovation. Its mission is built on sustainability, equality, and international collaboration to address global challenges.
KTH's approach to cybersecurity and digital skills blends rigorous computer science theory with hands-on, project-based learning. It prepares professionals to protect complex societal infrastructures through highly specialized, multidisciplinary MSc Cybersecurity programs.
Technology and Engineering
World-class education and research in engineering, digital technologies, sustainability, and innovation.
Research-Based and Student-Centred Learning
Combining academic rigor, practical application, and close industry collaboration to develop critical thinking and lifelong learning.
Career and Societal Impact
Developing skills, knowledge, and perspectives that enable lifelong learning and success in a rapidly changing world.
Our courses
View all courses
