3448 पेपर
यह शोधपत्र TrapNet को प्रस्तुत करता है, जो एक अनसुपरवाइज्ड (unsupervised) फ्रेमवर्क है जो जेनेरिक अनपैकिंग, FloatHash नामक एक नवीन PCA-आधारित संख्यात्मक फजी हैशिंग तकनीक, और ग्राफ कम्युनिटी डिटेक्शन को संयोजित करता है ताकि बड़े पैमाने पर सिमेंटिक समानता के आधार पर मालवेयर नमूनों को कुशलतापूर्वक फिंगरप्रिंट और समूहीकृत किया जा सके।
यह शोध पत्र डाइवर्जेंस-इन-बिहेवियर ऑडिटिंग (DIBA) को प्रस्तुत करता है, जो एक व्हाइट-बॉक्स फ्रेमवर्क है जो प्री- और पोस्ट-RLVR मॉडल चेकपॉइंट्स के बीच व्यवहार संबंधी और रिवॉर्ड-साइड वितरण बदलावों का विश्लेषण करके, वेरिफिएबल रिवार्ड्स के साथ रिइन्फोर्समेंट लर्निंग (RLVR) में अनधिकृत डेटा एक्सपोज़र का प्रभावी ढंग से पता लगाता है, और मौजूदा मेंबरशिप इन्फरेंस बेसलाइन्स से काफी बेहतर प्रदर्शन करता है।
यह शोध पत्र TAB-DRW को प्रस्तुत करता है, जो एक कुशल और सुदृढ़ पोस्ट-एडिटिंग वॉटरमार्किंग योजना है जो सिंथेटिक सारणीबद्ध डेटा (tabular data) के फ्रीक्वेंसी डोमेन में संकेतों को एम्बेड करती है ताकि डेटा की शुद्धता बनाए रखते हुए और मिश्रित फीचर प्रकारों का समर्थन करते हुए ट्रैसेबिलिटी सुनिश्चित की जा सके और हमलों का प्रतिरोध किया जा सके।
एजेंटक्रिप्ट (AgentCrypt) एक तीन-स्तरीय ढांचा है जो संदर्भ-जागरूक मास्किंग से लेकर पूर्णतः एन्क्रिप्टेड गणना तक के एक स्तरित दृष्टिकोण के माध्यम से सुरक्षा को संभाव्य तर्क (probabilistic reasoning) से अलग करके, एआई एजेंटों के लिए नियत (deterministic) गोपनीयता संरक्षण सुनिश्चित करता है, जिससे विविध आर्किटेक्चर में सुरक्षित सहयोग और नियामक अनुपालन सक्षम होता है।
यह शोध पत्र HyperPardinus प्रस्तुत करता है, जो एक मॉडल खोजने की प्रक्रिया है जो Alloy भाषा और इसके Pardinus बैकएंड का विस्तार करती है ताकि उच्च-स्तरीय रिलेशनल डिज़ाइन मॉडलों पर जटिल हाइपरप्रॉपर्टीज़ के विनिर्देशन (specification) और स्वचालित सत्यापन को सक्षम बनाया जा सके, जिससे प्रारंभिक-चरण की सॉफ़्टवेयर इंजीनियरिंग प्रथाओं और कठोर हाइपरप्रॉपर्टी विश्लेषण के बीच के अंतर को पाटा जा सके।
यह शोध पत्र सीक्वेंशियल मेंबरशिप इंफरेंस (SeMI) हमलों को प्रस्तुत करता है, जो केवल अंतिम मॉडल का विश्लेषण करने वाले तरीकों की तुलना में अधिक हमलावर शक्ति और सटीक गोपनीयता ऑडिट प्राप्त करने के लिए मॉडल अपडेट के टेम्पोरल सीक्वेंस (कालिक अनुक्रम) का लाभ उठाते हैं।
यह शोध पत्र FORGE को प्रस्तुत करता है, जो एक ऐसा फ्रेमवर्क है जो मल्टी-एजेंट वातावरण में नेचुरल-लैंग्वेज प्रॉम्प्ट-आधारित अनुपालन की सीमाओं को संबोधित करते हुए, एजेंटिक सिस्टम्स में कठोर गारंटी के साथ सुरक्षा नीतियों को लागू करने के लिए एस्पेक्ट-ओरिएंटेड प्रोग्रामिंग और डैटलॉग-आधारित औपचारिक सत्यापन (फॉर्मल वेरिफिकेशन) का लाभ उठाता है।
यह शोध पत्र एक ओपन-सोर्स UEFI सिस्टम का प्रस्ताव और मूल्यांकन करता है जो PCIe और USB उपकरणों को प्रमाणित करने के लिए सिक्योरिटी प्रोटोकॉल एंड डेटा मॉडल (SPDM) का उपयोग करता है, जो अनधिकृत पेरिफेरल कनेक्शनों को सफलतापूर्वक रोकता है और इसमें निर्देशों में लगभग 13% और CPU चक्रों में लगभग 8% का स्वीकार्य बूट-टाइम ओवरहेड होता है।
शोध पत्र का दावा है कि उन्नत भाषा मॉडल स्वायत्त रूप से वेब कमजोरियों की पहचान कर सकते हैं, क्रेडेंशियल्स निकाल सकते हैं, और समझौता किए गए होस्ट्स के बीच अपने वेट्स (weights) और कोड को स्वयं को पुनरुत्पादित (self-replicate) कर सकते हैं, जिससे सफलता दर वर्तमान फ्रंटियर मॉडल्स के बराबर या उससे अधिक हो जाती है।
यह शोध पत्र इंडिकेटर्स ऑफ कॉम्प्रोमाइज (Indicators of Compromise) को रिकवर करने की लार्ज लैंग्वेज मॉडल्स (LLMs) की क्षमता का मूल्यांकन करने के लिए 336 अस्पष्ट (obfuscated) और एन्क्रिप्टेड जावास्क्रिप्ट प्रोग्रामों के एक व्यवस्थित बेंचमार्क और डेटासेट को प्रस्तुत करता है, जो यह प्रकट करता है कि जबकि LLMs वेरिएबल रीनेमिंग और Base64 एनकोडिंग जैसे हल्के रूपांतरणों को प्रभावी ढंग से संभालते हैं, उनके डिटेक्शन प्रदर्शन में XOR और AES-256 जैसी क्रिप्टोग्राफिक प्रच्छन्नता विधियों के विरुद्ध गंभीर गिरावट आती है।