This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
Friday, March 3 • 15:40 - 16:30
Between Testing and Formal Verification

Sign up or log in to save this to your schedule and see who's attending!

The security testing of software is inherently difficult.  This is because vulnerabilities typically emerge as unanticipated interactions in the design of a software component, as implementation artefacts that were not specified in the design, or as bugs, where design and implementation deviate.  Thus, when searching for breaches of security properties we are looking for design or implementation details that can be abused in ways not considered by the designers, developers and testers of a software component.

 Formal methods promise to systematise this search for needles in haystacks and use mathematical rigour to provide convincing arguments for the absence of such needles.  Yet, with few exceptions in safety-critical systems engineering, the adoption of formal techniques in software development processes is low.  Furthermore, formal methods traditionally focus on safety aspects of software, i.e., functional correctness and the absence of runtime exceptions of software.  In this talk I will outline the advantages and disadvantages of modern approaches to formal software analysis and verification.  I will focus on tools and techniques that can be integrated efficiently with testing efforts, in particular in security testing.

avatar for Jan Tobias Muehlberg

Jan Tobias Muehlberg

Researcher, imec-DistriNet, KU Leuven
Jan Tobias Muehlberg works as a researcher at imec-DistriNet, KU Leuven (BE). His is active in the fields of software security, and formal verification and validation of software systems, specifically for embedded systems and low-level operating system components. Tobias is particularly interested in security architectures for safety-critical embedded systems and for the Internet of Things. Before joining KU Leuven, Tobias worked as a... Read More →

Friday March 3, 2017 15:40 - 16:30
Room: Lemaire

Attendees (2)