💻 computer science

PASTA: A Patch-Agnostic Twofold-Stealthy Backdoor Attack on Vision Transformers

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

Dazhuang Liu, Yanqi Qiao, Rui Wang, Kaitai Liang, Georgios Smaragdakis2026-04-23
💻 computer science

Towards Secure Logging: Characterizing and Benchmarking Logging Code Security Issues with LLMs

यह शोध पत्र कोड सुरक्षा संबंधी समस्याओं को लॉग करने के लिए एक व्यापक वर्गीकरण और बेंचमार्क डेटासेट प्रस्तुत करता है, जो इन कमजोरियों का पता लगाने और उन्हें ठीक करने के लिए लार्ज लैंग्वेज मॉडल्स (LLMs) की क्षमताओं का मूल्यांकन करता है और यह प्रकट करता है कि जहाँ LLMs मध्यम पहचान सटीकता दिखाते हैं, वहीं वे सही कोड सुधारों को विश्वसनीय रूप से उत्पन्न करने में संघर्ष करते हैं।

He Yang Yuan, Xin Wang, Kundi Yao, An Ran Chen, Zishuo Ding, Zhenhao Li2026-04-23
⚡ electrical engineering

Secure Rate-Distortion-Perception: A Randomized Distributed Function Computation Approach for Realism

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

Gustaf Åhlgren, Onur Günlü2026-04-23
💻 computer science

TLSCheck 2.0: An Enhanced Memory Forensics Approach to Efficiently Detect TLS Callbacks

यह शोध पत्र TLSCheck 2.0 प्रस्तुत करता है, जो एक उन्नत Volatility 3 प्लगइन है जो सटीक PE हेडर विश्लेषण, डिसअसेंबली और पैटर्न मिलान को जोड़कर मेमोरी फॉरेंसिक्स में सुधार करता है ताकि 32-बिट और 64-बिट दोनों प्रक्रियाओं में संभावित रूप से दुर्भावनापूर्ण थ्रेड लोकल स्टोरेज (TLS) कॉलबैक का कुशलतापूर्वक पता लगाया जा सके और उनका विश्लेषण किया जा सके।

Kartik N. Iyer, Parag H. Rughani2026-04-23
💻 computer science

Onyx: Cost-Efficient Disk-Oblivious ANN Search

ओनिक्स (Onyx) एक लागत-कुशल, डिस्क-ओब्लिवियस (disk-oblivious) अनुमानित निकटतम पड़ोसी (Approximate Nearest Neighbor - ANN) खोज प्रणाली है जो पारंपरिक डिज़ाइन ट्रेड-ऑफ को उलटते हुए, एक बैंडविड्थ-कुशल ANN लेयर के साथ सक्रिय छंटनी (proactive pruning) और एक लोकैलिटी-अवेयर (locality-aware) ORAM लेयर का उपयोग करके विलंबता (latency) और लागत में महत्वपूर्ण कमी प्राप्त करती है, जिससे डिस्क एक्सेस पैटर्न और तीसरे पक्ष के बुनियादी ढांचे पर बैंडविड्थ खपत दोनों को न्यूनतम किया जा सके।

Deevashwer Rathee, Jean-Luc Watson, Zirui Neil Zhao, G. Edward Suh, Raluca Ada Popa2026-04-23
🤖 machine learning

Towards Certified Malware Detection: Provable Guarantees Against Evasion Attacks

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

Nandakrishna Giri, Asmitha K. A., Serena Nicolazzo, Antonino Nocera, Vinod P2026-04-23
💻 computer science

Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure

यह शोध पत्र COBALT को प्रस्तुत करता है, जो एक Z3-आधारित औपचारिक सत्यापन इंजन (formal verification engine) है जो काल्पनिक 2026 मिथोस (Mythos) घटना जैसे सैंडबॉक्स एस्केप्स को रोकने के लिए C/C++ इंफ्रास्ट्रक्चर में अंकगणितीय कमजोरियों का पता लगाता है, और साथ ही एक चार-स्तरीय रोकथाम ढांचे (four-layer containment framework) का प्रस्ताव देता है ताकि यह सुनिश्चित किया जा सके कि फ्रंटियर-मॉडल सुरक्षा केवल व्यवहार संबंधी सुरक्षा उपायों के बजाय सत्यापित इंफ्रास्ट्रक्चर पर निर्भर करती है।

Dominik Blain2026-04-23
🤖 machine learning

Auto-ART: Structured Literature Synthesis and Automated Adversarial Robustness Testing

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

Abhijit Talluri2026-04-23
💻 computer science

Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware

यह शोध पत्र पोस्ट-क्वांटम क्रिप्टोग्राफी में नंबर थ्योरेटिक ट्रांसफॉर्म (NTT) एक्सेलेरेटर्स के लिए फ्रेश पर-स्टेज अरिथमेटिक मास्किंग पाइपलाइन-स्तरीय सुरक्षा की गारंटी देती है, यह प्रदर्शित करने के लिए लीन 4 (Lean 4) में प्रथम मशीन-चेक्ड प्रमाण प्रस्तुत करता है, जबकि एडम्स ब्रिज (Adams Bridge) एक्सेलेरेटर जैसे विशिष्ट आर्किटेक्चरल विफलताओं की पहचान करता है जो इन सुरक्षा शर्तों का उल्लंघन करते हैं।

Ray Iskander, Khaled Kirah2026-04-23
💬 NLP

AVISE: Framework for Evaluating the Security of AI Systems

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

Mikko Lempinen, Joni Kemppainen, Niklas Raesalmi2026-04-23