🔒 Category

cs.CR

3528 पेपर

💻 computer science

LibScan: Smart Contract Library Misuse Detection with Iterative Feedback and Static Verification

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

Yishun Wang, Wenkai Li, Xiaoqi Li, Zongwei Li, Lei Xie, Yuqing Zhang2026-04-02
💻 computer science

PrivHAR-Bench: A Graduated Privacy Benchmark Dataset for Video-Based Action Recognition

यह शोधपत्र PrivHAR-Bench प्रस्तुत करता है, जो एक क्रमिक बहु-स्तरीय बेंचमार्क डेटासेट और मूल्यांकन टूलकिट है जिसे विविध एक्शन वीडियो के एक सेट पर दृश्य गोपनीयता रूपांतरणों (visual privacy transformations) की एक श्रृंखला लागू करके, वीडियो-आधारित मानव गतिविधि पहचान (Human Activity Recognition) में गोपनीयता-उपयोगिता व्यापार-संतुलन (privacy-utility trade-off) के मूल्यांकन को मानकीकृत करने के लिए डिज़ाइन किया गया है।

Samar Ansari2026-04-02
🤖 AI

UK AISI Alignment Evaluation Case-Study

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

Alexandra Souly, Robert Kirk, Jacob Merizian, Abby D'Cruz, Xander Davies2026-04-02
🤖 AI

Do Phone-Use Agents Respect Your Privacy?

यह शोध पत्र MyPhoneBench को प्रस्तुत करता है, जो फोन-उपयोग एजेंटों में गोपनीयता-सम्मानजनक व्यवहार का मूल्यांकन करने के लिए एक सत्यापन योग्य ढांचा है, जो यह प्रकट करता है कि हालांकि वर्तमान मॉडल कार्यों को पूरा कर सकते हैं, वे अत्यधिक सहायक निष्पादन के कारण डेटा प्रकटीकरण को कम करने में अक्सर विफल रहते हैं, जो तैनाती की तत्परता को सटीक रूप से आंकने के लिए संयुक्त गोपनीयता और सफलता मेट्रिक्स की आवश्यकता पर प्रकाश डालता है।

Zhengyang Tang, Ke Ji, Xidong Wang, Zihan Ye, Xinyuan Wang, Yiduo Guo, Ziniu Li, Chenxin Li, Jingyuan Hu, Shunian Chen (…)2026-04-02
💻 computer science

AutoMIA: Improved Baselines for Membership Inference Attack via Agentic Self-Exploration

यह शोध पत्र AutoMIA को प्रस्तुत करता है, जो एक एजेंटिक फ्रेमवर्क है जो स्व-अन्वेषण (self-exploration) और रणनीति विकास (strategy evolution) के माध्यम से मेंबरशिप इन्फरेंस हमलों को स्वचालित करता है, और मैन्युअल फीचर इंजीनियरिंग पर निर्भर रहे बिना विविध मॉडलों में अत्याधुनिक प्रदर्शन प्राप्त करता है।

Ruhao Liu, Weiqi Huang, Qi Li, Xinchao Wang2026-04-02
💻 computer science

Multi-Agent LLM Governance for Safe Two-Timescale Reinforcement Learning in SDN-IoT Defense

यह शोध पत्र SDN-IoT के लिए एक आत्म-चिंतनशील (self-reflective), दो-समय-सीमा (two-timescale) वाले रक्षा ढांचे का प्रस्ताव करता है जो ऑडिट करने योग्य सुरक्षा नीतियों को गतिशील रूप से विकसित करने के लिए फास्ट-टाइमस्केल, कंट्रोलर-अवेयर PPO एजेंटों को स्लो-टाइमस्केल, मल्टी-एजेंट LLM गवर्नेंस के साथ एकीकृत करता है, जिससे प्रतिकूल हमलों के तहत नियंत्रण-प्लेन अस्थिरता और QoS गिरावट को रोकते हुए डिटेक्शन सटीकता में महत्वपूर्ण सुधार होता है।

Saeid Jamshidi, Negar Shahabi, Foutse Khomh, Carol Fung, Mohammad Hamdaqa2026-04-02
💻 computer science

Real-Time Bit-Level Encryption of Full High-Definition Video Without Diffusion

यह शोध पत्र एक वास्तविक समय (रियल-टाइम) वीडियो एन्क्रिप्शन प्रोटोकॉल प्रस्तावित करता है जो प्लेनटेक्स्ट संवेदनशीलता (प्लेनटेक्स्ट सेंसिटिविटी) प्राप्त करने के लिए डिफ्यूजन के बिना हेट्रोजेनियस पैरेलल कंप्यूटिंग और SHA-256 हैश की अत्यधिक संवेदनशीलता का लाभ उठाता है, जिससे काफी कम कम्प्यूटेशनल ओवरहेड के साथ फुल एचडी वीडियो को 30 FPS पर विलंब-मुक्त बिट-लेवल एन्क्रिप्शन सक्षम किया जा सके।

Dong Jiang, Hui-ran Luo, Zi-jian Cui, Xi-jue Zhao, Lin-sheng Huang, Liang-liang Lu2026-04-01
🤖 AI

LaSM: Layer-wise Scaling Mechanism for Defending Pop-up Attack on GUI Agents

यह शोध पत्र LaSM को प्रस्तुत करता है, जो एक प्रशिक्षण-मुक्त (training-free) लेयर-वाइज स्केलिंग तंत्र है जो दुर्भावनापूर्ण दृश्य तत्वों के कारण होने वाले अटेंशन मिसअलाइनमेंट को ठीक करने के लिए महत्वपूर्ण परतों में अटेंशन और MLP मॉड्यूल को चुनिंदा रूप से प्रवर्धित (amplify) करके GUI एजेंटों को पॉप-अप हमलों से रक्षा करता है।

Zihe Yan, Zhuosheng Zhang, Jiaping Gui, Gongshen Liu2026-04-01
💬 NLP

SecureVibeBench: Evaluating Secure Coding Capabilities of Code Agents with Realistic Vulnerability Scenarios

यह शोध पत्र SecureVibeBench को प्रस्तुत करता है, जो सुरक्षित C/C++ कोडिंग पर कोड एजेंटों का मूल्यांकन करने के लिए 41 OSS-Fuzz प्रोजेक्ट्स से प्राप्त एक यथार्थवादी बेंचमार्क है, जो यह प्रकट करता है कि शीर्ष प्रदर्शन करने वाले एजेंट भी सही और सुरक्षित कोड उत्पन्न करने में केवल 23.8% सफलता दर प्राप्त करते हैं।

Junkai Chen, Huihui Huang, Yunbo Lyu, Junwen An, Jieke Shi, Chengran Yang, Ting Zhang, Haoye Tian, Yikun Li, Zhenhao Li (…)2026-04-01
💻 computer science

Access Hoare Logic

यह शोध पत्र एक्सेस होअर लॉजिक (Access Hoare Logic) को प्रस्तुत करता है, जो कंप्यूटर प्रोग्रामों में एक्सेस कंट्रोल और सुरक्षा के बारे में तर्क करने के लिए एक नवीन औपचारिकता है, और इसकी सुदृढ़ता (soundness), पूर्णता (completeness), तथा मानक होअर लॉजिक और इनकरेक्टनेस लॉजिक दोनों से इसके मौलिक अंतरों को स्थापित करता है।

Arnold Beckmann, Anton Setzer2026-04-01