SSE Seminar – 17th October 2018, 5-6pm, Malet Place Engineering Building 1.02

This week, we have the honor of hosting a presentation from Nassim Seghir, a Research Associate from University College London working for the DAASE project.

Nassim will give a talk about a really interesting topic, called TrueFlow, in which he is working at this moment. His aim is to improve static analysis, reducing false positives. He is extending FlowDroid with CBMC to measure the reachability of paths once FlowDroid declare them as data leaks.

Continue reading