Mohannad's research interests span over several emerging cybersecurity issues:
Assessing Security of Android Applications, with particular focus on dynamic behaviors that have implications on Inter-App Communication.
Identifying Safety issues in the interactions between IoT apps by applying static analysis and formal verification.
Utilizing Data-Driven approaches for understanding IoT malware.
Improving the implementation of secure code to avoid insecure implementations of SSL/TLS by employing static analysis techniques.
Debloating applications using symbolic execution and LLVM passes to generate specialized applications.
Here you can find more details about these projects including implementation and artifacts.
Deliverable 4.3.2 in AU2EU project, under work package 4. http://www.au2eu.eu/uploads/Publications/deliverables/AU2EU_D4.3.2_Final.pdf