مرحبا بكم في موقعي الشخصي.

أقوم بعمل بحثي في التشفير المطبق وفي الأمن المعلوماتي بشكل عام. دافعت عن اطروحتي، "التحقق الرسمي من بروتوكولات التشفير"، في ١٠ كانون أول ٢٠١٨ في المختبر الوطني للبحوث في العلوم الرقمية والأتمتة في باريس، بعد ثلاثة سنوات ونصف من أبحاث مع فريق "بروسيكو". سجل منشوراتي العلمية متاح هنا.

مكتبي، سيمبوليك سفتوار، متخصص في تقديم نظرة ثاقبة في أنظمة التشفير. بصفتي مديره ، أدير فريقًا صغيرًا يوفر عمليات تدقيق الأمان وتصميم بروتوكولات التشفير.

أنا أعمل على عدد من مشاريع البرمجيات. Verifpal، محور تحليل آلي ولغة نمذجة لبروتوكولات التشفير التي تستهدف الطلاب والمهندسين ، هو تركيزي الرئيسي. لقد عملت أيضا على Noise Explorer، محرك لتصميم بروتوكولات القنوات الآمنة المصممة في إطار إطار برتوكولات "نويس" والتفكير فيها والتحقق منها رسميًا وتنفيذها تلقائيًا. لقد كتبت أيضا DiskGem، برنامج نقل الملفات آمن، و Resilience، مانع الإعلانات.

بصرف النظر عن ما سبق ، أكتب في بعض الأحيان مقالات عن القضايا المتعلقة بعلم الأمن المعلوماتي و الخصوصية. وأنا أيضاً صممت وعلمت صف الأمن المعلوماتي في جامعة NYU باريس في سنة ٢٠١٨ وسنة ٢٠١٩. وأنا أيضاً أحب التصوير، الفن، والموسيقى.