Congratulations to Sebastian PÖPLAU, PhD student in the Digital Security Department, supervised by Prof. Aurélien FRANCILLON, who brilliantly defended his doctoral thesis, on November 20, 2020.
His thesis subject was entitled: « Increasing the performance of symbolic execution by compiling symbolic handling into binaries»
Reviewers:
Mr. CADAR Cristian (Imperial College London - England)
Mrs. REZK Tamara (INRIA Sophia Antipolis – France)
Jury members:
Mrs. ZENNOU Sarah (Airbus - France)
Mr. HAUSER Christophe (University of Southern California - USA)
Mr. BALZAROTTI Davide (EURECOM)
Guest:
Mr. YAKDAN Khaled (Code Intelligence – Bonn, Germany)
Advisor:
Mr. FRANCILLON Aurélien (EURECOM)
