I am broadly interested in ensuring correctness and security of embedded software. Specifically, my research focuses on automated analysis and verification techniques for software at binary level.
I'm a PhD candidate with the Electronic Design Automation group at University of Kaiserslautern, advised by Prof. Wolfgang Kunz. I graduated from Damascus University, Syria with a B.Sc. in computer science with a focus on distributed systems and computer networks. Later, I spent five years in the industry working in various development and engineering roles.
I hold an M.Sc. degree (with distinction) from European Masters in Embedded Computing Systems (EMECS) where I spent my first year at University of Southampton, UK and second year at University of Kaiserslautern, Germany.
A partial list of my publications can also be found on DBLP
► M. A. Ben Khadra, “E3Solver: decision tree unification by enumeration,” in 6th Workshop on Synthesis (SYNT'17), 2017. [pdf][slides] (Competition Contribution)
► M. A. Ben Khadra, D. Stoffel, and W. Kunz, “goSAT: Floating-point Satisfiability as Global Optimization,” in Formal Methods in Computer-Aided Design (FMCAD'17), 2017. [pdf] (Accepted)
► M. A. Ben Khadra, D. Stoffel, and W. Kunz, “Speculative Disassembly of Binary Code,” in 20. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV’17), 2017. (Abstract)
► M. A. Ben Khadra, D. Stoffel, and W. Kunz, “Speculative disassembly of binary code,” in International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES’16), 2016.[doi]
► M. A. Ben khadra, D. Stoffel, and W. Kunz, “Approximate Computing: Facing the control flow,” in ESWEEK Workshop on Approximate Computing, 2016. (Poster)
► M. A. Ben khadra , Y. Bai, and K. Schneider, “Synthesis of Distributed Synchronous Specifications to SysteMoC,” in 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV’14), 2014, pp. 71–81. [pdf]
► M. A. Ben Khadra , Y. Bai, and K. Schneider, “High Level Modeling of Elastic Circuits in SystemC,” in Proceedings of SpringSim’14 Symposium on Theory of Modeling and Simulation (TMS/DEVS), 2014, pp. 171–178. [pdf]
► M. A. Ben Khadra , “A Model-Based Approach to Synchronous Elastic Systems,” Masters thesis, University of Kaiserslautern, 2013. [pdf]
We offer a lot of exciting topics, both for masters and bachelor thesis, in our active research area. If you like the algorithmic side of things and want to hack some code, then we should meet.