💻 computer science

Bootstrapping Mutual Attestation with Kleene's Second Recursion Theorem

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

Takuma Imamura2026-08-24
💻 computer science

Enabling Threshold Custody for the Lightning Network with Nested Threshold Multi-Signatures

تقدم هذه الورقة "Iceberg"، وهي بنية تشفيرية مبتكرة لتوقيعات MuSig2 ذات العتبة المتداخلة، تتيح لأحد جانبي قناة شبكة Lightning لبيتكوين العمل كمجموعة عتبة آمنة بنظام tt-of-nn دون الحاجة إلى أي تعديلات على البروتوكول الأساسي، أو بيتكوين، أو الأطراف المقابلة، مع الحفاظ على إنتاجية عالية للمدفوعات.

Paul Gerhart, Nadav Kohen, Jesse Posner, Matias Furszyfer2026-08-24
💻 computer science

Privacy-Preserving Object Detection for Vision Transformer-Based Models

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

Homare Sueyoshi, Kiyoshi Nishikawa, Hitoshi Kiya2026-08-24
💻 computer science

Chat First, Worry Later: Understanding Individuals' Privacy Perceptions Using ChatGPT in a Work Context

تكشف دراسة استقصائية أجريت على ٢٢٤ من المهنيين أنه في حين ترتبط السياسات التنظيمية إيجابياً بالكفاءة في استخدام ChatGPT، إلا أن الكفاءة الإجمالية تظل منخفضة، كما أن المخاوف المتزايدة بشأن الخصوصية تقلل بشكل كبير من وتيرة وتنوع استخدام ChatGPT، لا سيما في المؤسسات التي تفتقر إلى إرشادات محددة بشأن الذكاء الاصطو التوليدي.

Christoph Nirschl, Magdalena Glas, Gerhard Messmann, Günther Pernul2026-08-24
💻 computer science

On the Additive FFT Techniques over Binary Extension Fields

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

Susanta Samanta, Mohammadtaghi Badakhshan, Guang Gong2026-08-24
🤖 AI

Vibe Coding and Web Application Security: A Twin-Prompt Study

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

Darko Andročec2026-08-24
🤖 AI

Structured but Fragile: On the Limits of LLMs in Cybersecurity Decision-Making

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

Pasquale Malacaria, Yunxiao Zhang2026-08-24
🤖 AI

ClawSentry: A Progressive Multi-Tier Security Monitor for Safeguarding Autonomous LLM Agents

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

Kai Wang, Zeming Wei, BiaoJie Zeng, Chang Jin, An Wang, Xiaokun Luan, Zhixiao Lin, Jingjing Qu, Xia Hu, Xingcheng Xu2026-08-24
💻 computer science

Billion-Scale Nearest-Neighbor Search under Fully Homomorphic Encryption on a Single GPU, Balancing Leakage and Cost

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

Isamu Isozaki, Madison Bratina, Edward Kim2026-08-24
🤖 machine learning

BackDFL: A Unified Benchmark For Backdoor Attacks and Defenses In Decentralized Federated Learning

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

Mouhamed Amine Bouchiha, Gregory Blanc, Yufei Han2026-08-24