تقديم
أبحاث الأمن لمشاريع البلوك تشين والتمويل اللامركزي. أبحث عن الثغرات في العقود الذكية وتصميم البروتوكولات، وأجري حاليًا أبحاثًا على Lombard Finance وBeefy Finance من خلال برامج مكافآت اكتشاف الأخطاء الخاصة بهما. تشمل اهتماماتي أساليب الهجوم على العقود الذكية، والتحقق الشكلي، واللبنات التشفيرية الأساسية مثل SNARKs والتوقيعات الرقمية والمنحنيات الإهليلجية والمخططات ما بعد الكمية. كما أمتلك خبرة في مسابقات CTF والمسابقات من خلال عامين في مختبر Ulisse للأمن السيبراني.
البرمجة التشفيرية وبرمجة الأنظمة. أكتب بلغات Rust وC وC++ وGo وPython وSolidity، ولدي كفاءة في الأنظمة الموزعة والبرامج المتزامنة. ساهمت في مكتبة لشجرة Merkle بلغة Rust وفي مكتبة Bloom filter بلغة Python مكتوبة بلغة Rust.
تطوير الويب المتكامل. أبني المواقع وتطبيقات الويب وأصونها باستخدام Next.js وReact وDeno وNode وTypeScript وTailwind CSS، مع PostgreSQL أو DB2 في الخلفية. توليت تطوير موقع إلكتروني تجاري وإدارته وتأمينه لمدة عامين، وتشمل مشاريعي نموذجًا أوليًا لموقع غير ربحي، وتطبيقًا لتقويم الفعاليات، ونظامًا قابلًا للتوسع لإدارة مواقف السيارات، وقد حصل على المركز الثاني في هاكاثون.


