cs.CR ورقة بحثية

Experimental Evaluation of Security Attacks on Self-Driving Car Platforms

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

Viet K. Nguyen, Nathan Lee, Mohammad Husain2026-03-17

💻 computer science

Mining the YARA Ecosystem: From Ad-Hoc Sharing to Data-Driven Threat Intelligence

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

Dectot--Le Monnier de Gouville Esteban, Mohammad Hamdaqa, Moataz Chouchen2026-03-17

💻 computer science

Activation Surgery: Jailbreaking White-box LLMs without Touching the Prompt

تقدم هذه الورقة البحثية "جراحة التنشيط" (Activation Surgery)، وهي تقنية لكسر الحماية تتجاوز آليات السلامة في النماذج اللغوية الكبيرة عبر التلاعب بتنشيطات الطبقات الداخلية لتثبيط إشارات الرفض دون تعديل المدخلات النصية.

Maël Jenny, Jérémie Dentan, Sonia Vanier, Michaël Krajecki2026-03-17

🤖 machine learning

Generation of Human Comprehensible Access Control Policies from Audit Logs

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

Gautam Kumar, Ravi Sundaram, Shamik Sural2026-03-17

💻 computer science

Oblivis: A Framework for Delegated and Efficient Oblivious Transfer

تقدم الورقة البحثية Oblivis، وهو إطار عمل معياري لنقل غير ملموس (Oblivious Transfer) مفوض وفعال يتيح للعملاء ذوي الإمكانيات المحدودة استرجاع سجلات قواعد البيانات بأمان عبر وسطاء دون تسريب نية الاستعلام، ويتميز ببروتوكول "Supersonic OT" عالي التحسين يحقق تسريعًا كبيرًا ويعمل بكفاءة حتى على الأجهزة ذات الموارد المحدودة.

Aydin Abadi, Yvo Desmedt2026-03-17

🤖 AI

s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs

تقدم هذه الورقة البحثية \textit{s2n-bignum-bench}، وهو أول معيار عام مُصمم لتقييم قدرة النماذج اللغوية الكبيرة على توليد براهين قابلة للتحقق آلياً لروتينات التجميع التشفيرية منخفضة المستوى والخاصة بالصناعة في HOL Light، وبذلك تعالج الفجوة بين النجاح في مسابقات الرياضيات والتحقق الرسمي في العالم الحقيقي.

Balaji Rao, John Harrison, Soonho Kong, Juneyoung Lee, Carlo Lipizzi2026-03-17

💻 computer science

When Scanners Lie: Evaluator Instability in LLM Red-Teaming

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

Lidor Erez, Omer Hofman, Tamir Nizri, Roman Vainshtein2026-03-17

💬 NLP

Fine-tuning RoBERTa for CVE-to-CWE Classification: A 125M Parameter Model Competitive with LLMs

تقدم هذه الورقة نموذج RoBERTa مضبوطاً بدقة بـ 125 مليون معلمة، والذي يحقق أداءً تنافسياً في تصنيف الـ CVE إلى CWE مقارنة بالنماذج اللغوية الكبيرة الأكبر حجماً، وذلك عبر الاستفضاء من مجموعة بيانات واسعة النطاق ومُحسّنة بالذكاء الاصطناعي للتفوق بشكل كبير على النماذج المرجعية التقليدية في فئات نقاط الضعف النادرة.

Nikita Mosievskiy2026-03-17

💬 NLP

Rethinking LLM Watermark Detection in Black-Box Settings: A Non-Intrusive Third-Party Framework

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

Zhuoshang Wang, Yubing Ren, Yanan Cao, Fang Fang, Xiaoxue Li, Li Guo2026-03-17

🔢 mathematics

Infinite families of APN permutations in constrained trivariate classes over $\mathbb{F}_{2^m}$

تُنشئ هذه الورقة عائلات لانهائية من التباديل الجديدة غير المتكافئة وفق تكافؤ CCZ والمتبادلة لتباديل شبه مثالية غير خطية (APN) فوق الحقل $\mathbb{F}_{2^{3m}}$ عن طريق توسيع بناءين ثلاثي المتغيرات لـ "لي" و"كاليـسكي"، حيث تُثبت أن معاملات قياسية محددة تُنتج تباديل APN إذا وفقط إذا لم يكن لكثير حدود أحادي المتغير المرتبط بها جذور في $\mathbb{F}_{2^m}^*$ ، وتُبين أن هذه العائلات الجديدة متميزة عن الأصلية وعن بعضها البعض تحت التكافؤ القطري وتكافؤ CCZ.

Daniele Bartoli, Pantelimon Stanica2026-03-17

→ السابق التالي ←

cs.CR

Experimental Evaluation of Security Attacks on Self-Driving Car Platforms

Mining the YARA Ecosystem: From Ad-Hoc Sharing to Data-Driven Threat Intelligence

Activation Surgery: Jailbreaking White-box LLMs without Touching the Prompt

Generation of Human Comprehensible Access Control Policies from Audit Logs

Oblivis: A Framework for Delegated and Efficient Oblivious Transfer

s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs

When Scanners Lie: Evaluator Instability in LLM Red-Teaming

Fine-tuning RoBERTa for CVE-to-CWE Classification: A 125M Parameter Model Competitive with LLMs

Rethinking LLM Watermark Detection in Black-Box Settings: A Non-Intrusive Third-Party Framework

Infinite families of APN permutations in constrained trivariate classes over F2m\mathbb{F}_{2^m}F2m​

Infinite families of APN permutations in constrained trivariate classes over $\mathbb{F}_{2^m}$