Christian Cadar Guest Seminar

Time: 13.00 - 14.30

Venue: TH_1.3, Kilburn Building, The University of Manchester, Oxford Road, M13 9PL

Sorry, this event has now ended.

Please note: this seminar has been rescheduled and will take place in 2020.

Finding Bugs and Security Vulnerabilities with Dynamic Symbolic Execution

Software systems are affected on a regular basis by bugs and security vulnerabilities. In this talk, I will present dynamic symbolic execution, a technique that can help detect many of these problems before they make it into production. Dynamic symbolic execution has already started to make a positive impact on the reliability and security of software, with several high-profile companies using it on a regular basis to analyse their software.

The talk will focus on recent advances and ongoing challenges in the area of dynamic symbolic execution, drawing upon our experience developing several symbolic execution tools for many different scenarios, such as high-coverage test input generation, bug detection, patch testing and bounded verification.


Digital Trust & Security is the University of Manchester’s interdisciplinary Cyber Security research theme (based in the Digital Futures team in Kilburn bldg.). As part of our ongoing event programme, we are inviting speakers from across the UK to speak on a variety of topics relating to our key research clusters.

  • Privacy, Trust, Data Protection
  • Cybercrime, Criminals, Victims
  • Workplace Security
  • Computer Science & Security
  • Advanced Mathematics

Previous speakers include Prof. Chris Hankin (ICL), Prof. Debi Ashenden (Southampton) and former US Secretary of Defence, Michael Chertoff.

Seminars are free to attend, generally last an hour and include Q&A sections. Attendance is open to all so please forward information about this series to students or interdisciplinary colleagues that might be interested in the topic area.