💻 computer science

FinVault: Benchmarking Financial Agent Safety in Execution-Grounded Environments

यह शोध पत्र FinVault को प्रस्तुत करता है, जो वित्तीय एजेंटों के लिए पहला निष्पादन-आधारित (execution-grounded) सुरक्षा बेंचमार्क है, जो नियामक केस-संचालित सैंडबॉक्स परिदृश्यों का उपयोग करके यह प्रकट करता है कि वर्तमान रक्षा तंत्र वास्तविक दुनिया के हमलों के विरुद्ध काफी हद तक अप्रभावी बने हुए हैं, जिसमें अत्याधुनिक मॉडल अभी भी 50% तक उच्च हमले की सफलता दर प्राप्त कर रहे हैं।

Zhi Yang, Runguo Li, Qiqi Qiang, Jiashun Wang, Fangqi Lou, Mengping Li, Dongpo Cheng, Rui Xu, Heng Lian, Shuo Zhang, Xia (…)2026-07-31
💻 computer science

On a necessary condition for the matching cryptosystem stability

यह शोधपत्र सार्वजनिक कुंजी ग्राफ में विशिष्ट किनारों के सेट (edge sets) से संबंधित भार वेक्टरों (weight vectors) के विस्तार (spans) के आयामों के संदर्भ में, सीमित शोर (limited noise) से जुड़े एक विशिष्ट हमले के विरुद्ध मिलान क्रिप्टोप्रणालियों (matching cryptosystems) की स्थिरता के लिए एक आवश्यक शर्त प्रस्तावित करता है।

Aleksey Bolotnikov, Anwar Irmatov2026-07-31
💻 computer science

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs

FAVA एक औपचारिक प्राधिकरण ढांचा (formal authorization framework) है जो प्राकृतिक भाषा के कार्यों को संरचित अनुमति ग्राफ़ (structured permission graphs) में अनुवादित करके सुरक्षित LLM एजेंट निष्पादन सुनिश्चित करता है, जिन्हें फिर अनधिकृत कार्यों को होने से पहले रोकने के लिए एक SMT सॉल्वर का उपयोग करके सुरक्षा नीतियों के विरुद्ध गणितीय रूप से सत्यापित किया जाता है।

Yifan Zhang, Xinkui Zhao, Sai Liu, Hengxuan Lou, Guanjie Cheng, Chang Liu2026-07-31
💻 computer science

Open Security Benchmark: Towards Autonomous Enterprise Cyber Defense

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

Gal Engelberg, Michael Arenzon, Leon Goldberg2026-07-31
💻 computer science

RoguePrompt: Dual-Layer Encoding for Self-Reconstruction to Circumvent LLM Moderation

यह शोध पत्र RoguePrompt को प्रस्तुत करता है, जो नेस्टेड विगेनेयर (Vigenère) और ROT13 सिफर्स के साथ प्राकृतिक-भाषा पुनर्निर्माण निर्देशों का उपयोग करने वाला एक द्वि-स्तरीय एन्कोडिंग जेलब्रेक पाइपलाइन है, जिसने एक ब्लैक-बॉक्स थ्रेट मॉडल के तहत 313 हार्ड-रिजेक्टेड प्रॉम्प्ट्स में से 93.93% मामलों में मॉडरेशन फिल्टर को सफलतापूर्वक बायपास किया और 70.18% मामलों में निष्पादन प्राप्त किया।

Benyamin Tafreshian, Prathamesh Dhake2026-07-31
💻 computer science

Low-Latency Bootstrapping for CKKS using Roots of Unity

यह शोध पत्र स्पार्स रूट्स ऑफ यूनिटी (SPRU) प्रस्तुत करता है, जो CKKS होमोमोर्फिक एन्क्रिप्शन स्कीम के लिए एक नवीन बूटस्ट्रैपिंग एल्गोरिदम है, जो मॉड्यूलर अंकगणित को कॉम्प्लेक्स रूट्स ऑफ यूनिटी में समाहित करता है ताकि मल्टीप्लिकेटिव डेप्थ को महत्वपूर्ण रूप से कम किया जा सके और पारंपरिक तरीकों की तुलना में 5 गुना तक विलंबता (लेटेंसी) में सुधार प्राप्त किया जा सके।

Jean-Sebastien Coron, Robin Koestler2026-07-31
💻 computer science

Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts

ग्रेनाइट एक मॉड्यूलर, मौलिक पद्धति प्रस्तुत करता है जो नियत आईएसए (ISA) लीकेज अनुबंधों के साथ ट्रेस तुल्यता स्थापित करके आरटीएल (RTL) प्रोसेसरों की कार्यात्मक शुद्धता और गैर-रिसाव (non-leakage) दोनों को सत्यापित करता है, जिससे विश्वसनीय कंप्यूटिंग बेस से मध्यवर्ती विशिष्टताओं को समाप्त करने के लिए हार्डवेयर और सॉफ्टवेयर प्रमाणों का संयोजन सक्षम होता है।

Stella Lau, Andres Erbsen, Adam Chlipala2026-07-31
💻 computer science

AnchorMark: Robust Diffusion Watermarking via Latent-Space Rotation Synchrony

AnchorMark एक प्रशिक्षण-मुक्त, इनवर्जन-आधारित वॉटरमार्किंग विधि है जो एक केंद्रीय सिंक्रोनाइज़ेशन एंकर को एम्बेड करने के लिए रोटेशन सिंक्रोनी के लेटेंट-स्पेस गुण का लाभ उठाती है, जिससे कंपाउंड लॉसी पोस्ट-प्रोसेसिंग हमलों के तहत भी मजबूत पेलोड निष्कर्षण और सटीक रोटेशन सुधार सक्षम होता है।

Yuqi Qian, Yun Cao, Haocheng Fu, Haochen Zhao, Hong Zhang, Meineng Zhu2026-07-31
💻 computer science

Revisiting the Adversarial Robustness of Graph-Based Traffic Forecasting

यह शोध पत्र तर्क देता है कि ग्राफ-आधारित ट्रैफ़िक पूर्वानुमान के लिए मौजूदा सुदृढ़ता मूल्यांकन (robustness evaluations) अवास्तविक थ्रेट मॉडल पर निर्भर करते हैं, और एक नवीन डिटेक्शन-मिटिगेशन डिफेंस प्रस्तावित करता है जो एक भौतिकी-सूचित (physics-informed) डिटेक्टर का उपयोग करता है जो स्वच्छ डेटा पर शून्य के करीब लागत बनाए रखते हुए लक्षित, भौतिकी-जागरूक हमलों का प्रभावी ढंग से मुकाबला करता है।

Qingzhao Zhang2026-07-31
💻 computer science

Adaptive Security at the Edge for 6G-Enabled Healthcare IoT

यह शोध पत्र NANOEDGEGUARD को प्रस्तुत करता है, जो 6G-सक्षम स्वास्थ्य देखभाल IoT एज गेटवे के लिए एक कर्नेल-प्लेन क्लोज्ड-लूप कंट्रोलर है, जो पारंपरिक यूजर-स्पेस बेसलाइनों की तुलना में अलार्म विलंबता (latency) को काफी कम करने और ट्रैफिक बर्स्ट को अधिक प्रभावी ढंग से प्रबंधित करने के लिए एडेप्टिव, ऑडिटेबल रेट लिमिटिंग का उपयोग करता है।

Ijaz Ahmad, Ijaz Ahmad, Erkki Harjula2026-07-31