💻 computer science

Open Challenges for Secure and Scalable Wi-Fi Connectivity in Rural Areas

यह शोध पत्र ग्रामीण क्षेत्रों, विशेष रूप से फिलीपींस और भारत में, 'पे-फॉर-यूज़' (उपयोग के लिए भुगतान) वाई-फाई हॉटस्पॉट पारिस्थित प्रणालियों का एक सुरक्षा विश्लेषण प्रस्तुत करता है, जिसमें कनेक्शन हाइजैकिंग और रोग हॉटस्पॉट जैसी महत्वपूर्ण कमजोरियों की पहचान करने के लिए फील्ड सर्वेक्षण और व्यावहारिक हमले के सत्यापन किए गए हैं, और अंततः अनुकूलित थ्रेट मॉडल और सुरक्षित वास्तुशिल्प सुधार प्रस्तावित किए गए हैं।

Philip Virgil Berrer Astillo, Jayasree Sengupta, Mathy Vanhoef2026-04-07
💻 computer science

Security Analysis of Universal Circuits as a Mechanism for Hardware Obfuscation

यह शोध पत्र हार्डवेयर आईपी अस्पष्टीकरण (obfuscation) के लिए यूनिवर्सल सर्किट्स की सुरक्षा का मूल्यांकन अत्याधुनिक ओरकल-निर्देशित (oracle-guided) और ओरकल-रहित (oracle-less) हमलों के विरुद्ध करता है, जो लगभग यादृच्छिक (near-random) हमले की सफलता दर और न्यूनतम संरचनात्मक रिसाव के माध्यम से उनकी प्रभावशीलता को प्रदर्शित करता है।

Zain Ul Abideen, Deepali Garg, Lawrence Pileggi, Samuel Pagliarini2026-04-07
🤖 AI

AEGIS: Scaling Long-Sequence Homomorphic Encrypted Transformer Inference via Hybrid Parallelism on Multi-GPU Systems

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

Zhaoting Gong, Ran Ran, Fan Yao, Wujie Wen2026-04-07
💻 computer science

ProtoGuard-SL: Prototype Consistency Based Backdoor Defense for Vertical Split Learning

यह शोध पत्र ProtoGuard-SL का प्रस्ताव देता है, जो वर्टिकल स्प्लिट लर्निंग के लिए एक सर्वर-साइड रक्षा तंत्र है, जो मध्यवर्ती एम्बेडिंग्स (intermediate embeddings) पर होने वाले गुप्त बैकडोर हमलों का प्रभावी ढंग से पता लगाने और उन्हें कम करने के लिए क्लास-कंडीशनल प्रोटोटाइप कंसिस्टेंसी और कॉन्फॉर्मल फ़िल्टरिंग का लाभ उठाता है।

Yuhan Shui, Ruobin Jin, Zhihao Dou, Zhiqiang Gao2026-04-07
💻 computer science

AttackEval: A Systematic Empirical Study of Prompt Injection Attack Effectiveness Against Large Language Models

यह शोधपत्र AttackEval प्रस्तुत करता है, जो 250 प्रॉम्प्ट इंजेक्शन हमलों का एक वर्गीकरण (taxonomy) निर्मित करने वाला एक व्यवस्थित अनुभवजन्य अध्ययन है, जो यह प्रकट करता है कि अस्पष्टता (obfuscation) और सिमेंटिक/सोशल रणनीतियाँ, विशेष रूप से जब वे संयुक्त रूप से उपयोग की जाती हैं, संरचनात्मक और व्यवहार संबंधी दोनों पहचान तंत्रों की कमियों का लाभ उठाकर वर्तमान सुरक्षा प्रणालियों से काफी बेहतर प्रदर्शन करती हैं।

Jackson Wang2026-04-07
💻 computer science

Perceptual Gaps: ASCII Art and Overlapping Audio as CAPTCHA

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

Choon-Hou Rafael Chong2026-04-07
🔢 mathematics

Explainable PQC: A Layered Interpretive Framework for Post-Quantum Cryptographic Security Assumptions

यह शोध पत्र "एक्सप्लेनेबल पीक्यूसी" (Explainable PQC) का प्रस्ताव करता है, जो एक अंतःविषय, तीन-स्तरीय ढांचा है जो जटिलता सिद्धांत (complexity theory), कॉम्बिनेटोरियल हॉज थ्योरी (combinatorial Hodge theory) और अनुभवजन्य जूलिया-आधारित प्रयोगों को संयोजित करता है ताकि पोस्ट-क्वांटम क्रिप्टोग्राफी, विशेष रूप से ML-KEM और ML-DSA जैसे लैटिस-आधारित स्कीम्स के लिए सुरक्षा धारणाओं की पारदर्शिता और संचार को बढ़ाया जा सके, बिना किसी नई कठिनाई (hardness) के परिणामों या हमलों का दावा किए।

Daisuke Ishii, Rizwan Jahangir2026-04-07
💻 computer science

Systematic Integration of Digital Twins and Constrained LLMs for Interpretable Cyber-Physical Anomaly Detection

यह शोध पत्र एक हाइब्रिड विसंगति पहचान प्रणाली (anomaly detection system) प्रस्तावित करता है जो सिक्योर वॉटर ट्रीटमेंट टेस्टबेड पर शून्य गलत सकारात्मकता (zero false positives) के साथ सटीक, व्याख्यात्मक और वास्तविक समय में हमले के स्थानीयकरण को प्राप्त करने के लिए डिजिटल ट्विन-व्युत्पन्न व्यवहार संबंधी डिस्क्रिप्टर्स को बाधित लार्ज लैंग्वेज मॉडल (LLM) तर्क के साथ एकीकृत करता है।

Konstantinos E. Kampourakis, Vasileios Gkioulos, Sokratis Katsikas2026-04-07
💻 computer science

LiquiLM: Bridging the Semantic Gap in Liquidity Flaw Audit via DCN and LLMs

यह शोध पत्र LiquiLM का प्रस्ताव करता है, जो एक ढांचा (framework) है जो कोड और लिक्विडिटी इरादों (liquidity intents) के बीच के सिमेंटिक अंतर को पाटने के लिए लार्ज लैंग्वेज मॉडल्स को एक डायनेमिक को-अटेंशन नेटवर्क के साथ एकीकृत करता है, जो 90% से अधिक F1-स्कोर और 10 CVE-प्रमाणित कमजोरियों की खोज के साथ प्रूफ ऑफ लिक्विडिटी और DeFi पारिस्थित प्रणालियों में जटिल लिक्विडिटी दोषों का प्रभावी ढंग से पता लगाने और उन्हें समझाने में सक्षम है।

Zekai Liu, Xiaoqi Li, Wenkai Li, Zongwei Li2026-04-07
💻 computer science

From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink

यह शोध पत्र प्लैटम (Platum) प्रस्तुत करता है, जो यूएवी (UAVs) में प्रासंगिक संदेश वैधता को लागू करने के लिए उच्च-स्तरीय रिफाइंड मल्टीपार्टी सेशन टाइप (Refined Multiparty Session Type) विनिर्देशों से सत्यापित, एलोकेशन-मुक्त सी (C) रनटाइम मॉनिटर्स को संश्लेषित करने वाला एक फ्रेमवर्क है, जिससे पिछले दृष्टिकोणों के मैनुअल प्रूफ ओवरहेड और हार्डवेयर असंगतता को दूर करते हुए विलंबता (latency) और मेमोरी उपयोग को महत्वपूर्ण रूप से कम किया जा सके।

Arthur Amorim, Paul Gazzillo, Max Taylor, Lance Joneckis2026-04-07