💻 computer science

ENOLA: Linear-Space and Low-Overhead Control-Flow Attestation for Microcontroller-based Systems

تقدم هذه الورقة ENOLA، وهو حل لتوثيق تدفق التحكم يتميز بمساحة خطية وتكاليف إضافية منخفضة للأنظمة القائمة على المتحكمات الدقيقة، والذي يستفيد من القياسات المدعومة عتادياً والتخزين القائم على السجلات للتغلب على قيود القابلية للتوسع والأمن والأداء في الأساليب الحالية.

Md Armanuzzaman, Engin Kirda, Ziming Zhao2026-08-12
💬 NLP

Robust and Secure Code Watermarking for Large Language Models via ML/Crypto Codesign

تقدم الورقة البحثية RoSeMary، وهو إطار عمل جديد للتصميم المشترك بين تعلم الآلة والتشفير (ML/Crypto codesign)، يستخدم التدريب من الطرف إلى الطرف باستخدام CodeT5 وبراهين المعرفة الصفرية لدمج علامات مائية قوية ووظيفية وتحافظ على الخصوصية في الأكواد البرمجية التي تولدها النماذج اللغوية الكبيرة (LLM)، مما يعالج بفعالية تحديات انخفاض الإنتروبيا والتحقق الآمن.

Ruisi Zhang, Neusha Javidnia, Nojan Sheybani, Farinaz Koushanfar2026-08-12
💻 computer science

OpenCCA: An Open Framework to Enable Arm CCA Research

تُعد OpenCCA إطار عمل بحثي مفتوح يتيح محاكاة عمليات بنية الحوسبة السرية (CCA) من Arm على أجهزة Armv8.2 التقليدية من خلال تكييف المكدس البرمجي بشكل منهجي، مما يتغلب على القيود المادية لتسهيل تقييم الأداء المعياري وتقليل الحواجز أمام أبحاث الـ CCA.

Andrin Bertschi, Shweta Shinde2026-08-12
⚛️ quantum physics

When Does Quantum Differential Privacy Compose?

تُبين هذه الورقة أنه في حين تفشل نظريات التركيب ذات النمط الكلاسيكي بالنسبة للخصوصية التفاضلية الكمومية العامة بسبب التنفيذات المشتركة المترابطة، يمكن استعادة ضمانات تركيب ذات مغزى للقنوات ذات حاصل الضرب التنسوري على مدخلات حاصل الضرب من خلال إدخال محاسب لحظات كمومي يعتمد على فقدان الخصوصية ذي القيم العملياتية ودوال توليد لحظات المصفوفات.

Daniel Alabi, Theshani Nuradha2026-08-12
💻 computer science

Towards Decentralized Searcher Competition in MEV Markets

تتناول هذه الورقة مسألة مركزية سوق الـ MEV من خلال اقتراح آلية مزاد مقيدة بقيمة شابلي (Shapley-capped auction) مع قيود أمنية بايزية لضمان توزيع أكثر عدلاً للمكافآت ومنع هجمات سيبيل وتواطؤ الموثقين بين الباحثين غير المتجانسين.

Roozbeh Sarenche, Yunwen Liu2026-08-12
💻 computer science

On Understanding, Identifying, and Mitigating Vulnerabilities in Agentic Large Language Models

تقدم هذه الورقة مراجعة منهجية للأدبيات حول أمن النماذج اللغوية الكبيرة الوكيلية، كاشفةً عن اختلال كبير حيث تهيمن أبحاث الهجوم على جهود الدفاع وتتم المبالغة في تمثيل ثغرات طبقة الإدراك مقارنة بتهديدات طبقة الإجراءات عالية المخاطر، مقترحةً في النهاية تصنيفاً رباعي الطبقات ومحددةً الاقتران المعماري كسبب جذري لعدم الأمان.

Md Jafrin Hossain, Mohammad Arif Hossain, Nirwan Ansari2026-08-12
💻 computer science

Once Poisoned, Arbitrarily Controlled: A Programmable Backdoor in VLMs

تقدم هذه الورقة هجوماً بباب خلفي قابل للبرمجة على نماذج الرؤية واللغة (VLMs)، والذي يُمكّن المهاجمين، من خلال مرحلة تسميم واحدة وإخفاء معلومات في فضاء السمات (feature-space steganography)، من توليد محفزات خفية ديناميكياً لأي نصوص وصفية مستهدفة عشوائية وغير مرئية مسبقاً وقت الاستدلال، مما يفصل فعلياً عملية اختيار الهدف عن عملية التدريب الأولية.

Tao Lin, Gaojie Jin, Zongxin Liu, Peng Wu, Lijia Yu2026-08-12
💻 computer science

Strategies to Avoid Illegal Data Access

تحدد هذه الورقة استراتيجية شاملة لمنع الوصول غير المصرح به إلى البيانات من خلال دمج الحلول التكنولوجية مثل جدران الحماية والتشفير، وتدريب الموظفين على المخاطر الأمنية، والإنفاذ المنتظم للسياسات التنظيمية المحدثة.

Muhammad Mubeen, Arslan Bisharat, Giri Anandhi2026-08-12
⚛️ quantum physics

Statistically-Secure Bit Commitment and Coin Flipping Protocols Based on Quantum Hardware Assumptions

تقدم هذه الورقة أول بروتوكولات للالتزام بالبت وتقليب العملة آمنة إحصائياً بناءً على الوظائف الفيزيائية غير القابلة للاستنساخ المقفلة هجينياً (HLPUFs)، متجاوزةً استحالة الأمن غير المشروط في التشفير الكمومي من خلال الجمع بين الرموز العتادية الكلاسيكية والاتصالات الكمومية لتحقيق نموذج جديد لتشفير الطرفين العملي القائم على عدم الثقة.

Roo Dunnill, Mina Doosti2026-08-12
🔢 mathematics

The complexity of solving a system of equations of the same degree

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

Giulia Gaggero, Elisa Gorla2026-08-11