Mohamed Ghanem
![A profile picture of Frederik Scheerer](/img/profile/Mohamed_Ghanem.jpeg)
Contact
Mohamed Ghanem
Reactive Systems Group
CISPA Helmholtz Center for Information Security
eMail: mohamed.ghanem at cispa.de
Phone: +49 681 87083 2101
Building: E 9.1 Room: 1.12
About me
I am a Ph.D. student at CISPA Helmholtz Center for Information Security and Saarland University.
I am also a member of the Graduate School of Computer Science.
Preprints
Learning Better Representations from Less Data for Propositional Satisfiability
With Frederik Schmitt, Julian Siber, and Bernd Finkbeiner.Theses
NeuRes: A Neural Resolution Prover of Unsatisfiability | Master Thesis, Saarland University, 2024 |
FLoBC: A Decentralized Blockchain-Based Federated Learning Framework | Bachelor Thesis, The American University in Cairo, 2021 |
Publications
FLoBC: A Decentralized Blockchain-Based Federated Learning Framework
With Fadi Dawoud, Habiba Gamal, Eslam Soliman, Hossam Sharara, Tamer El-Batt.Fourth International Conference on Blockchain Computing and Applications (BCCA)