KS-CFA: Control-Flow Attestation via Symbolic Replay Against Control-Flow Bending Attacks
Zhanyu Sha, Konstantinos Markantonakis, Carlton Shepherd, Amir Rafi
مسوّدة بحثية
أستاذ أمن المعلومات في Royal Holloway, University of London، ومدير Trustworthy, Embedded and Autonomous Systems Centre (TASC).
المنهج
أنظمة أمن المعلومات السليمة نظريًا تفشل مع ذلك عمليًا، لأن الخصم يستهدف أضعف أجزاء النظام وأيسرها منالًا — وهو في العادة التنفيذ لا البرهان.
وقد ظلّ ردم هذه الفجوة محورًا أساسيًا في عملي منذ 1998: البطاقات الذكية وRFID، وإنترنت الأشياء والمنصّات المضمّنة، والهواتف المحمولة، وبيئات التنفيذ الموثوقة، والعقود الذكية، والطيران والطائرات المسيّرة، والواجهات السيبرانية الفيزيائية، وبيئات التنفيذ السحابية. ومؤخّرًا عملت مجموعتي على هجمات متحكّم الذاكرة والبنية الدقيقة، والاختبار العشوائي الآلي لأجهزة ARM IoT، وتصديق تدفّق التحكّم، والتحليل الجنائي للهواتف، وحماية نماذج الذكاء الاصطناعي وبياناته على المنصّات المضمّنة والموزّعة.
البحث
يستكشف بحثي كيف يمكن للحوسبة الموثوقة وبنى الأنظمة الآمنة أن تحمي الأنظمة المتّصلة والمضمّنة والمعتمدة على الذكاء الاصطناعي.
بيئات التنفيذ الموثوقة، وتصديق المنصّات، والحماية المدعومة بالعتاد للتطبيقات والبيانات وأحمال عمل الذكاء الاصطناعي الحسّاسة — البطاقات الذكية وIntel SGX وARM TrustZone وAMD SEV ووحدات المنصّة الموثوقة.
حماية نماذج الذكاء الاصطناعي والبيانات والقرارات في البيئات المضمّنة والذاتية والموزّعة: التنفيذ الموثوق، والنشر الآمن، والتعلّم التعاوني الحافظ للخصوصية.
بنى أمنية للمنصّات المضمّنة والمتّصلة والذاتية: كشف التسلّل بالذكاء الاصطناعي، والشبكات داخل المركبة، وأمن وحدات التحكّم الإلكترونية، وسلامة التحديثات عن بُعد.
تشغيل جدير بالثقة للأنظمة التي تستخدم الذكاء الاصطناعي كي تستشعر وتقرّر وتتصرّف — السلامة والمرونة والتنفيذ القابل للتحقّق، في المركبات والطائرات غير المأهولة والتحكّم الصناعي.
التحقّق من أن المنصّة في حالة معروفة قبل وقوع أي أمر حسّاس — بما في ذلك تصديق مسار التنفيذ الذي يفحص السلوك أثناء التشغيل لا صورة الإقلاع وحدها.
سلامة متحكّم الطيران، وأمن محطات التحكّم الأرضية، والتدابير المضادة لانتحال إشارة GPS وتشويشها، وتصديق مبنيّ على قيود العتاد المضمّن المحمول جوًّا.
معماريات الأمن في Android وiOS، ودمج العناصر الآمنة، والقنوات الخفية المعتمدة على المستشعرات، وبصمة الجهاز، وأنظمة إدارة الحقوق الرقمية التي تحمي الوسائط التجارية على خمسة مليارات هاتف.
بروتوكولات EMV والدفع اللاتلامسي، والترميز، وكشف هجمات الترحيل بالمستشعرات المحيطة، وبنية التذاكر التي تُحرّك المدن.
الصفحات التعريفية
أحدث المنشورات
أحدث الأعمال.
Zhanyu Sha, Konstantinos Markantonakis, Carlton Shepherd, Amir Rafi
مسوّدة بحثية
Amir Rafi, Konstantinos Markantonakis, Hamza Rafi, Carlton Shepherd, Zhanyu Sha
8th IEEE International Conference on Signal Processing and Information Security (ICSPIS 2025)
Zhanyu Sha, Carlton Shepherd, Amir Rafi, Konstantinos Markantonakis
Computers & Security, vol. 150, art. 104254
Carlton Shepherd, Jan Kalbantner, Benjamin Semal, Konstantinos Markantonakis
IEEE Transactions on Dependable and Secure Computing, vol. 21, no. 4
Konstantinos Markantonakis, Ghada Arfaoui, Sarah Abu Ghazalah, Carlton Shepherd, Raja Naeem Akram, Damien Sauveron
Smart Cities, vol. 7, no. 5, pp. 2887–2909
Amir Rafi, Carlton Shepherd, Konstantinos Markantonakis
22nd IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2023)
الكتب
عملٌ امتدّ قرابة عقدين، يرسم تطوّر الحوسبة الآمنة من البطاقات الذكية متعدّدة التطبيقات إلى بيئات التنفيذ الموثوقة اليوم.

2024
Carlton Shepherd وKonstantinos Markantonakis
ISBN 978-3-031-55560-2
Springer
2017
تحرير Keith Mayes وKonstantinos Markantonakis — الطبعة الثانية
ISBN 978-3-319-50498-8
Springer
2014
تحرير Konstantinos Markantonakis وKeith Mayes
ISBN 978-1-4614-7914-7
Springer
2008
تحرير Keith E. Mayes وKonstantinos Markantonakis — الطبعة الأولى
ISBN 978-0-387-72197-2
Springerالإشراف
أشرف على طلبة دكتوراه في بيئات التنفيذ الموثوقة، وأمن أنظمة المدفوعات، وأمن أنظمة المركبات والأنظمة المضمّنة، والمستشعرات المضمّنة المرنة، وهجمات الذكاء الاصطناعي والتنفيذ السحابي والتدابير المضادة لها. ويتمحور هذا العمل بصورة متزايدة حول حماية نماذج الذكاء الاصطناعي وبياناته وقراراته على الأجهزة والمنصّات التي تعمل عليها. وقد أشرفتُ على أكثر من 17 أطروحة دكتوراه حتى إتمامها منذ عام 2004.
يسرّني دائمًا أن أسمع من مرشّحين أكفاء بخلفية في علوم الحاسوب أو أمن المعلومات أو الهندسة الإلكترونية أو هندسة الحاسوب. والكفاءة العملية — ولا سيما في تطوير البرمجيات — تحظى بتقدير خاص، إلى جانب اهتمام قوي بأمن الأنظمة والحوسبة الموثوقة.
الأخبار
أوراق وجوائز وإفصاحات وتعيينات.