Mohamed Ghanem

Identifiers

• name variant Mohamed Ghanem 0.60 · backfill

Papers (2)

1. Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin cs.CR · 2026 · author #4
2. Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models cs.LG · 2026 · author #6

Mentions

• 2605.23643 #4 · arxiv_oai · confidence 0.70 Mohamed Ghanem

Frequent Coauthors

• Bernd Finkbeiner 2 shared papers
• Matthias Cosler 2 shared papers
• Cas Cremers 1 shared papers
• Frederik Schmitt 1 shared papers
• Julian Siber 1 shared papers
• Niklas Medinger 1 shared papers
• Niklas Metzger 1 shared papers
• Vladimir Krsmanovic 1 shared papers