cs.CR पेपर | Gist.Science

AgenticOS: An Intent-Oriented Secure Operating System Architecture for Autonomous AI Agents

एजेंटिकओएस (AgenticOS) एक नवीन सुरक्षित ऑपरेटिंग सिस्टम आर्किटेक्चर प्रस्तावित करता है जो पारंपरिक संसाधन प्रबंधक के बजाय ओएस को एक "इन्टेंट फ़िल्टर" (intent filter) के रूप में पुनर्गठित करता है, जो चार-स्तरीय डिज़ाइन और संरचित इरादा घोषणाओं (intent declarations) का उपयोग करके न्यूनतम-विशेषाधिकार वाले वातावरणों को संश्लेषित करता है ताकि एलएलएम-संचालित स्वायत्त एजेंटों को उनके अधिकृत कार्यों से आगे बढ़ने से रोका जा सके, भले ही वे समझौताग्रस्त (compromised) क्यों न हों।

Zhen Zhao, Yu Zhang, Yanpeng Zhu, Jia Wang, Songqiao Tao, Xin Cheng, Jiexin Gao2026-06-23

💻 computer science

Differential Zonotopes for Verifying Global Robustness of DNNs

यह शोध पत्र TwoSafe को प्रस्तुत करता है, जो एक नवीन स्टैटिक एनालिसिस टूल है और डीप न्यूरल नेटवर्क की ग्लोबल रोबस्टनेस को कुशलतापूर्वक सत्यापित करने के लिए डिफरेंशियल हेलो ज़ोनोटोप्स (differential halo zonotopes) का उपयोग करता है, जो सटीकता और स्केलेबिलिटी दोनों में मौजूदा अत्याधुनिक तकनीकों से काफी बेहतर प्रदर्शन करता है।

Anagha Athavale, Samuel Teuber, Matteo Maffei, Ezio Bartocci, Dejan Nickovic, Georg Weissenbacher2026-06-23

🤖 AI

Evaluating LLMs for Real-World Web Vulnerability Detection

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

Sebastian Neef, Luca Jungnickel, Antonio Benjamin Buchholz, Valene Spence, Vicente Birke Gonzalez2026-06-23

💻 computer science

A Longitudinal Study of Android Apps Signing Key Protection

यह अनुदैर्ध्य अध्ययन प्रकट करता है कि सार्वजनिक रिपॉजिटरी पर एंड्रॉइड ऐप साइनिंग कुंजियों के व्यापक कुप्रबंधन के कारण प्रमुख OEM और ऐप स्टोर के माध्यम से 5,600 से अधिक कीस्टोर्स और 278 वास्तविक दुनिया के ऐप्स समझौता हुआ है, जिससे 10 बिलियन से अधिक उपयोगकर्ता प्रभावित हुए हैं और ऑटोमोटिव प्लेटफॉर्म तक जोखिम बढ़ गया है।

Mark Huasong Meng, Qing Zhang, Weirao Lu, Chunyang Chen2026-06-23

💻 computer science

Enhancing Stateful Detection of Adversarial Attacks with Soft-labels' Temporality and Robust Similarity Approximations

यह शोध पत्र एक दो-चरणीय स्टेटफुल डिटेक्शन फ्रेमवर्क प्रस्तावित करता है जो सॉफ्ट-लेबल्स के टेम्पोरल कोरिलेशन का लाभ उठाकर और समानता मिलान (similarity matching) में रैंडमनेस पेश करके एडवरसैरियल अटैक की पहचान को बढ़ाता है, जिससे उच्च ट्रू पॉजिटिव रेट प्राप्त करने के साथ-साथ फॉल्स पॉजिटिव और एप्रोक्सिमेशन-आधारित इवेजन हमलों के प्रति संवेदनशीलता को कम किया जा सके।

De Zhang Lee, Han Fang, Ee-Chien Chang2026-06-23

📊 statistics

AdaPrivate-TS: Private Thompson Sampling for Contextual Bandits with Privacy Amplification

AdaPrivate-TS एक डिफरेंशियल प्राइवेट कॉन्टेक्स्टुअल बैंडिट एल्गोरिदम है जो थॉम्पसन सैंपलिंग के भीतर बढ़ी हुई अनिश्चितता के रूप में प्राइवेसी नॉइज़ की व्याख्या का लाभ उठाता है, जो बैचड zCDP कंपोज़िशन और प्राइवेसी एम्प्लीफिकेशन के माध्यम से लॉगरिदमिक प्राइवेसी लागत के साथ निकट-इष्टतम प्रदर्शन प्राप्त करता है।

Mohammadreza Riyazat, Eranga Ukwatta2026-06-23

💻 computer science

Towards a Doubly Efficient IP=PSPACE

यह शोधपत्र $T(n)=n^{O(\log n)}$ समय में निर्णायक योग्य PSPACE भाषाओं के लिए एक दोहरी कुशल (doubly efficient) संवादात्मक प्रमाण प्रणाली (interactive proof system) का एक काफी सरल, प्रत्यक्ष निर्माण प्रस्तुत करता है, जो बर्गर एट अल द्वारा स्थापित $n^{O(\sqrt{\log n / \log\log n}}$ के पिछले समय संबंधी मान में महत्वपूर्ण सुधार करता है।

Liyan Chen, Matthew M. Hong, Yael Tauman Kalai, Zoe Xi2026-06-23

⚡ electrical engineering

Mind the Intention: Task-Aware Backdoor Attacks for Forecast-Driven Distribution Network Operations

यह शोध पत्र GridTroj को प्रस्तुत करता है, जो एक एकीकृत बैकडोर हमला ढांचा (framework) है जो पूर्वानुमान मॉडलों को ट्रिगर होने पर हमलावर द्वारा निर्दिष्ट, परिचालन-बाधित करने वाले पैटर्न उत्पन्न करने के लिए प्रशिक्षित करके वितरण नेटवर्क संचालन से समझौता करता है, जिससे यह केवल भविष्यवाणी त्रुटि के बजाय स्पष्ट रूप से परिचालन प्रभाव के लिए अनुकूलित होता है।

Yuxuan Chen, Haipeng Xie, Yichi Zhang, Shuo Dai, Zhaohong Bie2026-06-23

🤖 machine learning

Continuous Behavioral Authentication via Multi-Expert BERT Log Analysis for Secure Data Sharing

यह शोध पत्र एक निरंतर व्यवहार संबंधी प्रमाणीकरण ढांचे का प्रस्ताव करता है जो नेटवर्क, बैटरी और वाई-फाई व्यवहार संबंधी पैटर्न के संलयन के माध्यम से 1% से कम की गलत सकारात्मक दर के साथ उच्च सुरक्षा प्राप्त करते हुए, वास्तविक समय में उपयोगकर्ता-डिवाइस संदर्भ सत्यापन के लिए एंड्रॉइड सिस्टम लॉग का विश्लेषण करने हेतु एक मल्टी-एक्सपर्ट BERT मॉडल का लाभ उठाता है।

Stergios Lantzos, Ilias Syrigos, Apostolos Apostolaras, Thanasis Korakis2026-06-23

💻 computer science

On the Curse of Dimensionality in Private Sparse Covariance Estimation and PCA

यह शोध पत्र यह प्रदर्शित करता है कि जबकि मानक धारणाओं के तहत विभेदक रूप से निजी (डिफरेंशियल प्राइवेट) विरल सहप्रसरण अनुमान (स्पार्स कोवेरिएंस एस्टिमेशन) और पीसीए (PCA), उनके गैर-निजी समकक्षों की तुलना में एक अंतर्निहित घातीय नमूना जटिलता अंतराल (एक्सपोनेंशियल सैंपल कॉम्प्लेक्सिटी गैप) से ग्रस्त होते हैं, इस आयामीता के अभिशाप (कर्स ऑफ डायमेंशनलिटी) को पीसीए के लिए तब दूर किया जा सकता है यदि मुख्य आइजनवेक्टर (लीडिंग आइजनवेक्टर) को भी विरल (स्पार्स) होने का माना जाए।

Syamantak Kumar, Shourya Pandey, Purnamrita Sarkar, Kevin Tian2026-06-23

← पिछला अगला →