🔢 mathematics

Securing Multi-Agent Systems Against Corruptions via Node Contribution Backpropagation

यह शोध पत्र 'नोड कॉन्ट्रिब्यूशन बैकप्रोपैगेशन' नामक एक गतिशील रक्षा प्रतिमान प्रस्तावित करता है जो बहु-एजेंट प्रणाली संचार को एक हस्ताक्षरित निर्देशित अचक्रीय ग्राफ (signed directed acyclic graph) के रूप में मॉडल करता है ताकि बैकवर्ड प्रोपेगेशन के माध्यम से व्यक्तिगत एजेंट योगदान की गणना की जा सके, जिससे सहयोगी कार्यों को प्रतिकूल भ्रष्टाचार से सुरक्षित करने के लिए दुर्भावनापूर्ण एजेंटों की सटीक पहचान और अलगाव सक्षम हो सके।

Chengcan Wu, Zhixin Zhang, Mingqian Xu, Zeming Wei, Meng Sun2026-05-27
🤖 AI

PoCo: Agentic Proof-of-Concept Exploit Generation for Smart Contracts

यह शोध पत्र PoCo को प्रस्तुत करता है, जो एक एजेंटिक फ्रेमवर्क है जो प्राकृतिक भाषा में दी गई भेद्यता (vulnerability) विवरणों से स्वायत्त रूप से निष्पादन योग्य (executable) Foundry-संगत प्रूफ-ऑफ-कॉन्सेप्ट एक्सप्लॉइट्स उत्पन्न करता है, जिससे स्मार्ट कॉन्ट्रैक्ट सुरक्षा ऑडिट के लिए आवश्यक समय और प्रयास में काफी कमी आती है।

Vivi Andersson, Sofia Bobadilla, Harald Hobbelhagen, Martin Monperrus2026-05-27
💻 computer science

A Technical Policy Blueprint for Trustworthy Decentralized AI

यह शोध पत्र विकेंद्रीकृत एआई के लिए एक तकनीकी नीति ब्लूप्रिंट (Technical Policy Blueprint) प्रस्तावित करता है जो पॉलिसी-एज़-कोड फ्रेमवर्क के माध्यम से नीति सत्यापन (policy verification) को प्रवर्तन (enforcement) से अलग करके विश्वास और अंतर-संचालनीयता को बढ़ाता है, जहाँ एक पॉलिसी इंजन सत्यापित साक्ष्यों के आधार पर एसेट गार्डियंस (Asset Guardians) द्वारा निष्पादित करने के लिए क्षमता पैकेज (capability packages) जारी करता है।

Hasan Kassem, Orion Banks, Omar Benjelloun, Sergen Cansiz, Brandon Edwards, Patrick Foley, Inken Hagestedt, Taeho Jung (…)2026-05-27
💻 computer science

Operational Runtime Behavior Mining for Open-Source Supply Chain Security

यह शोधपत्र HeteroGAT-Rank प्रस्तुत करता है, जो एक उद्योग-उन्मुख प्रणाली है जो संदिग्ध ओपन-सोर्स सप्लाई चेन घटकों की जांच करने और उन्हें प्राथमिकता देने के लिए सुरक्षा विश्लेषकों हेतु व्याख्या योग्य (interpretable) और कार्रवाई योग्य (actionable) संकेत उत्पन्न करने के लिए रनटाइम निष्पादन व्यवहारों पर अटेंशन-आधारित ग्राफ लर्निंग का लाभ उठाता है।

Zhuoran Tan, Ke Xiao, Jeremy Singer, Christos Anagnostopoulos2026-05-27
💻 computer science

Counted NFT Transfers

यह शोध पत्र ERC-7634 को प्रस्तुत करता है, जो एक नया एथेरियम मानक है जो एक कॉन्फ़िगर करने योग्य ट्रांसफर काउंटर के माध्यम से बाउंडेड (सीमित) हस्तांतरणीयता को सक्षम करके अनियंत्रित और गैर-हस्तांतरणीय NFT के बीच के अंतर को पाटता है, जिससे वॉश ट्रेडिंग को रोकने और कम गैस ओवरहेड बनाए रखते हुए नए आर्थिक प्रोत्साहन बनाने के लिए एक हल्का, बैकवर्ड-कम्पैटिबल तंत्र प्रदान किया जाता है।

Qin Wang, Minfeng Qi, Guangsheng Yu, Shiping Chen2026-05-27
💻 computer science

SuperPaymaster: Eliminating Centralized Signer Authority via Asset-Oriented Abstraction to Reconcile Usability and Decentralization in Account Abstraction

यह शोध पत्र SuperPaymaster को प्रस्तुत करता है, जो एक अकाउंट एब्स्ट्रैक्शन समाधान है जो सेंट्रलाइज्ड ऑफ-चेन साइनिंग को सोलबाउंड टोकन का उपयोग करने वाले ऑन-चेन एसेट-ओरिएंटेड एब्स्ट्रैक्शन मॉडल से बदल देता है, जिससे मौजूदा प्रोसेस-ओरिएंटेड एब्स्ट्रैक्शन बेसलाइन की तुलना में काफी कम निष्पादन गैस लागत प्राप्त करते हुए सेंसरशिप जोखिमों को समाप्त किया जा सकता है।

Huifeng Jiao, Nathapon Udomlertsakul2026-05-27
💻 computer science

Device Context Protocol: A Compact, Safety-First Architecture for LLM-Driven Control of Constrained Devices

यह शोध पत्र डिवाइस कॉन्टेक्स्ट प्रोटोकॉल (DCP) को प्रस्तुत करता है, जो एक हल्का और सुरक्षा-प्रथम आर्किटेक्चर है जो सख्त क्षमता स्कोपिंग (capability scoping) और प्रोटोकॉल स्तर पर सत्यापन को लागू करके बड़े भाषा मॉडलों (LLMs) को मेमोरी-सीमित माइक्रोकंट्रोलर्स को सुरक्षित रूप से नियंत्रित करने में सक्षम बनाता है, जिससे 30 KB से कम के फर्मवेयर फुटप्रिंट को बनाए रखते हुए क्षमता-वृद्धि (capability-escalation) हमलों का 100% अस्वीकरण प्राप्त होता है।

Dongxu Yang2026-05-27
💻 computer science

"You do understand that people don't trust technology?": Explaining Trusted Execution Environments to Non-Experts

यह अध्ययन पाता है कि जबकि विशिष्ट खतरों को उजागर करने वाली गैर-तकनीकी व्याख्याएं विशेषज्ञों के अलावा अन्य लोगों की ट्रस्टेड एक्जीक्यूशन एनवायरनमेंट्स (TEEs) की समझ को प्रभावी ढंग से बेहतर बनाती हैं, ऐसी व्याख्याएं अकेले तकनीक को अपनाने की उपयोगकर्ताओं की इच्छा को बढ़ाने के लिए पर्याप्त नहीं हैं।

McKenna McCall, Carolina Carreira, Miguel Flores, Lorrie Faith Cranor2026-05-27
💻 computer science

AgentSecBench: Measuring Prompt Injection, Privacy Leakage, and Tool-Use Integrity in LLM Agents

यह शोधपत्र AgentSecBench प्रस्तुत करता है, जो एक सुरक्षा मूल्यांकन ढांचा है जो 'इंटेंट-टू-एग्जीक्यूशन नॉन-इंटरफेरेंस' (intent-to-execution noninterference) के लिए औपचारिक खेलों को परिभाषित करके और यह अनुभवजन्य रूप से परीक्षण करके कि विभिन्न रक्षात्मक उपाय मॉडल-दृश्य प्रतिकूल चैनलों (model-visible adversarial channels) को कैसे बंद करते हैं, LLM एजेंटों में प्रॉम्प्ट इंजेक्शन, गोपनीयता रिसाव और टूल-उपयोग अखंडता को मापता है।

Faruk Alpay, Taylan Alpay2026-05-27
💻 computer science

Sandlock: Confining AI Agent Code with Unprivileged Linux Primitives

सैंडलॉक (Sandlock) एक हल्का, गैर-विशेषाधिकार प्राप्त (unprivileged) लिनक्स सैंडबॉक्स है जो सुरक्षा नीतियों को कर्नेल-प्रवर्तित नियमों में संकलित करके और रनटाइम निर्णयों को एक संकीर्ण पर्यवेक्षक (supervisor) को सौंपकर AI एजेंटों को अलग करता है, जिससे कंटेनरों, माइक्रो-वीएम (microVMs) या रूट विशेषाधिकारों के ओवरहेड के बिना मजबूत नियंत्रण प्राप्त होता है।

Cong Wang, Yusheng Zheng2026-05-27