SecAppDev 2019 has ended
Back To Schedule
Tuesday, February 19 • 14:00 - 15:30
Techniques for developing and testing secure software components

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Discover a technology stack that allows us to construct distributed software systems with well-defined security guarantees. We will address testing, formal verification, and runtime isolation.

Software vulnerabilities occur when a system can be abused in ways not anticipated by the designers, developers or testers. However, the current approach to finding vulnerabilities resembles the search for a needle in a haystack. Modern testing techniques promise to systematize this search. Complementary, formal verification provides convincing arguments for the absence of vulnerabilities. But these arguments often overlook that the verified software does not run in an isolated environment.

This talk focuses on modern approaches to automated testing, formal software analysis, and verification. Many of these tools and techniques integrate efficiently with current approaches to secure software development and security testing. Furthermore, we explore how to integrate a verified component in an untrusted infrastructure. Learn what is possible today through a couple of industrial cases and large-scale verification efforts!

This session is intended for architects, developers, testers, software security, and verification engineers.


Jan Tobias Muehlberg

Research manager, KU Leuven

Tuesday February 19, 2019 14:00 - 15:30 CET
Main building (room Lemaire)