🤖 AI

AliMark: Enhancing Robustness of Sentence-Level Watermarking Against Text Paraphrasing

AliMark एक सुदृढ़ वाक्य-स्तरीय वॉटरमार्किंग फ्रेमवर्क है जो डिटेक्शन को बिट अनुक्रम संरेखण (bit sequence alignment) समस्या के रूप में पुनर्गठित करता है और वाक्य विभाजन और विलय जैसे संरचनात्मक व्यवधानों का प्रभावी ढंग से सामना करने के लिए एडेप्टिव पुनर्गठित टेक्स्ट वेरिएंट्स के साथ एक दो-चरणीय रणनीति का उपयोग करता है।

Yuexin Li, Wenjie Qu, Linyu Wu, Yulin Chen, Yufei He, Tri Cao, Bryan Hooi, Jiaheng Zhang2026-05-29
💻 computer science

Protecting On-Device AI Inference: A Systematic Review of Attacks and Defence Mechanisms

यह शोध पत्र विशेष रूप से ऑन-डिवाइस एआई इन्फरेंस (on-device AI inference) को लक्षित करने वाले खतरों और रक्षा तंत्रों की पहली व्यापक व्यवस्थित समीक्षा प्रस्तुत करता है, जो एक महत्वपूर्ण असंतुलन को प्रकट करता है जहाँ प्रतिकूल हमलों (adversarial attacks) के लिए संगत शमन रणनीतियों का अभाव है, बावजूद इसके कि वे हमले के साहित्य का एक महत्वपूर्ण हिस्सा हैं।

Zisis Tsiatsikas, Alexandros Fakis, Georgios Karopoulos, Vasileios Kouliaridis, Marios Anagnostopoulos2026-05-29
💻 computer science

Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin

यह शोध पत्र 53 हालिया अध्ययनों से प्राप्त सुरक्षा गुणों (security properties) का एक व्यवस्थित, साक्ष्य-आधारित वर्गीकरण प्रस्तुत करता है, जो प्रोटोकॉल डिजाइनरों के लिए सैद्धांतिक सुरक्षा अवधारणाओं और व्यावहारिक सत्यापन के बीच के अंतर को पाटने हेतु अनौपचारिक और औपचारिक परिभाषाओं के साथ-साथ निष्पादन योग्य प्रोवेरिफ (ProVerif) और तामरीन (Tamarin) मॉडल भी प्रदान करता है।

Leonard Tudorache, Ivan Kurtev, Mark van den Brand2026-05-29
🤖 AI

SciIntBench: Measuring LLM Compliance with Research Integrity Norms Under Adversarial Framing

यह शोधपत्र SciIntBench को प्रस्तुत करता है, जो दस अनुसंधान अखंडता श्रेणियों में 810 प्रॉम्प्ट्स पर 16 लार्ज लैंग्वेज मॉडल्स का मूल्यांकन करने वाला एक एडवर्सरियल बेंचमार्क है, जो यह प्रकट करता है कि जहाँ मॉडल प्रत्यक्ष कदाचार को अस्वीकार करने में विश्वसनीय हैं, वहीं वे अक्सर तब विफल हो जाते हैं जब उल्लंघन को दबाव-प्रेरित शॉर्टकट के रूप में गुप्त रूप से फ्रेम किया जाता है।

Almene De Meran Meguimtsop, Maria Leonor Pacheco, Daniel E. Acuna2026-05-29
💻 computer science

CODEFUSE-DEBENCH: An Empirical Study on Readability, Recompilability, and Functionality

यह शोध पत्र DEBENCH को प्रस्तुत करता है, जो एक नवीन स्वचालित ढांचा है जो तीन स्वतंत्र आयामों—पठनीयता (readability), पुन: संकलन क्षमता (recompilability), और कार्यात्मकता (functionality)—के माध्यम से बाइनरी डीकंपाइलर्स का मूल्यांकन करता है—जो यह प्रकट करता है कि वर्तमान उपकरण एक तीव्र "पुन: प्रयोज्यता ढलान" (reusability cliff) से ग्रस्त हैं जहाँ उच्च पठनीयता कार्यात्मक शुद्धता की गारंटी नहीं देती है और प्रगति डीकंपाइलर इंजनों को बेहतर बनाने पर अधिक निर्भर करती है न कि बड़े रिपेयर मॉडल्स पर।

Puzhuo Liu, Yuhan Huang, Jianlei Chi, Peng Di, Yu Jiang2026-05-29
🤖 AI

KBF: Knowledge Boundary as Fingerprint for Language Model and Black-Box API Auditing

यह शोध पत्र KBF को प्रस्तुत करता है, जो एक कम लागत वाला ब्लैक-बॉक्स ऑडिटिंग प्रोटोकॉल है जो नॉलेज बाउंड्री के पास स्टेबल न्यूमेरिकल रिकॉल का उपयोग करके लैंग्वेज मॉडल API को फिंगरप्रिंट करता है, जो सीधे मॉडल तक पहुंच की आवश्यकता के बिना प्रोडक्शन एंडपॉइंट्स और शैडो API में आर्थिक रूप से प्रासंगिक मॉडल प्रतिस्थापन और मिक्स्ड-रूटिंग हमलों का प्रभावी ढंग से पता लगाता है।

Yijia Fang, Yiqing Feng, Bingyu Li, Mingxun Zhou2026-05-29
💻 computer science

Control Flow Graph Recovery for Dynamically Loaded Code via Symbolic Library Resolution

यह शोध पत्र एक सुरक्षित, प्रतीकात्मक निष्पादन-आधारित (symbolic execution-based) विश्लेषण तकनीक प्रस्तावित करता है जो गतिशील रूप से लोड किए गए कोड से कंट्रोल फ्लो ग्राफ (Control Flow Graphs) को पुनः प्राप्त करने के लिए कस्टम हुक्स के साथ स्पेक्युलेटिव लाइब्रेरी प्रीलोडिंग को जोड़ता है, जिससे लाइब्रेरी डिटेक्शन में 100% शुद्धता और रिकॉल बनाए रखते हुए स्टैटिक एनालिसिस की तुलना में नोड और एज रिकवरी में महत्वपूर्ण सुधार प्राप्त होता है।

Oleksandr Mostovyi2026-05-29
💻 computer science

Information Security in Small-Scale Protests: Surveillance of Ugandan Anti-EACOP Protesters

कम्पाला में 13 कार्यकर्ताओं के साथ पांच सप्ताह के फील्डवर्क और साक्षात्कारों के माध्यम से, यह अध्ययन प्रकट करता है कि कैसे ईएपीसीपी (EACOP) परियोजना के विरुद्ध प्रदर्शन करने वाले युगांडा के छात्र प्रदर्शनकारी राज्य के दमन को कम करने और स्वयं को तथा अपने नेटवर्क को सुरक्षित रखने के लिए स्वायत्त, दैनिक सुरक्षा प्रथाओं को अपनाकर एक बहुस्तरीय निगरानी परिदृश्य में रास्ता निकालते हैं।

Ntezi Mbabazi, Rikke Bjerg Jensen2026-05-29
💻 computer science

FIDEM: A Standard-Compliant Framework for Secure Binding of MUD Profiles to IoT Devices

यह शोध पत्र FIDEM प्रस्तुत करता है, जो एक मानक-अनुपालक ढांचा है जो DHCP के माध्यम से ज़ीरो-नॉलेज-प्रूफ प्रमाणीकरण के माध्यम से IoT उपकरणों को उनके मैन्युफैक्चरर यूसेज डिस्क्रिप्शन (MUD) प्रोफाइल के साथ बाइंडिंग को सुरक्षित करता है, जिससे PKI की आवश्यकता समाप्त हो जाती है और निर्माता की भागीदारी न्यूनतम होती है तथा वास्तविक दुनिया के सीमित उपकरणों में न्यूनतम ओवरहेड प्रदर्शित होता है।

Alessandro Lotto, Savio Sciancalepore, Alessandro Brighente, Mauro Conti2026-05-29
💻 computer science

Minimal Prompt Perturbations Lead to Code Vulnerabilities: Prompt Fragility and Hidden-State Signals in Coding LLMs

यह अध्ययन प्रकट करता है कि प्रॉम्प्ट्स में सूक्ष्म, एकल-चर परिवर्तन भी कोडिंग एलएलएम (LLMs) को असुरक्षित कोड उत्पन्न करने के लिए प्रेरित कर सकते हैं, जिसमें इनपुट-हैंडलिंग संबंधी खामियां सुरक्षित-डिफ़ॉल्ट त्रुटियों की तुलना में हिडन स्टेट्स (hidden states) से अधिक पूर्वानुमानित होती हैं, जिससे सुरक्षा खतरा मॉडल प्रॉम्प्ट इंजेक्शन से आगे बढ़कर सामान्य प्रॉम्प्ट विविधताओं तक विस्तृत हो जाता है।

Alexander Sternfeld, Andrei Kucharavy, Ljiljana Dolamic2026-05-29