Expertini Research Research

Browse Research Papers

1,238+ open-access research outputs.

โœ• Clear
๐Ÿ” sha li ๐Ÿ“‚ Computer Science
Showing 1238 results for "sha li" in Computer Science
Computer Science Preprint PDF DOI

On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic

Ugo Dal Lago, Guido Fiorillo, Paolo Pistone ยท 2026

The problem of determining whether a probabilistic program terminates almost surely (i.e.~with probability one) is undecidable, and actually $\Pi^0_2$-complete. For this reason, a growing literature hโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Hot Fixing in the Wild

Carol Hanna, Karine Even-Mendoza, W.B. Langdon, Mar Zamorano Lopez, Justyna Petke, Federica Sarro ยท 2026

Despite the operational importance of hot fixes, large-scale evidence on how they reshape routine maintenance workflows, particularly in the era of autonomous coding agents, remains limited. We analysโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Preventing Distinguishability between Multiplication and Squaring Operations

Alkistis Aikaterini Sigourou, Zoya Dyka, Peter Langendoerfer, Ievgen Kabin ยท 2026

Scalar multiplication kP is a critical operation in Elliptic Curve Cryptosystems (ECC), often targeted by Side-Channel Analysis (SCA). Despite strategies based on atomic patterns to enhance security, โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Lightweight Quantum Agent for Edge Systems: Joint PQC and NOMA Resource Allocation

Yongtao Yao, Wenjing Xiao, Miaojiang Chen, Anfeng Liu, Zhiquan Liu, Min Chen, Ahmed Farouk, H. Herbert Song ยท 2026

In the context of quantum secure scenarios, existing research on mobile edge devices and intelligent computing and edge (ICE) systems based on the Non-Orthogonal Multiple Access (NOMA) communication mโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

K-CARE: Knowledge-driven Symmetrical Contextual Anchoring and Analogical Prototype Reasoning for E-commerce Relevance

Chen Yifei, Tian Zhixing, Wang Chenyang, Cheng Ziguang ยท 2026

This paper targets e-commerce search relevance. While Large Language Models (LLMs) have demonstrated significant potential in this field, they often encounter performance bottlenecks in persistent 'coโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Profiling Resilient to Change in Probe Position

Elie Bursztein, Michael Gruber, Karel Kral, Jean-Michel Picod, Matthias Probst, Georg Sigl ยท 2026

Side Channel Analysis (SCA) relaxes the black-box assumption of conventional cryptanalysis by incorporating physical measurements acquired during cryptographic operations. Electro-magnetic (EM) emissiโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

From Players to Participants: Citizen Science and Video Games to Understand Cognition

Syrine Salouhou, Edgar Dubourg, Maxwell Scott-Slade, Hugo Spiers, Antoine Coutrot ยท 2026

Citizen science is transforming how cognitive scientists study the human mind, and video games are at the heart of this shift. By embedding experimental tasks into engaging, game-like experiences, resโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

New Convex Programming Technique for Nash Social Welfare and Scheduling

Yuda Feng, Weijiang Hu, Shi Li ยท 2026

We propose a new convex programming relaxation for the weighted Nash social welfare (NSW) problem that achieves a matching $(e^{1/e}\approx 1.445)$-approximation via the rounding algorithm of Feng andโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Constructive Separations from Gate Elimination

Marco Carmosino, Ngu Dang, Tim Jackman ยท 2026

Gate elimination is the primary technique for proving explicit lower bounds against general Boolean circuits, including Li and Yang's state-of-the-art $3.1n - o(n)$ bound for affine dispersers (STOC 2โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Horizontal SCA Attacks on Binary kP Algorithms using Chevallier-Mames Atomic Blocks

Gerald Isheanesu Matungamire, Alkistis Aikaterini Sigourou, Gerrit Schrock, Zoya Dyka, Peter Langendoerfer, Ievgen Kabin ยท 2026

Scalar multiplication kP is the operation most frequently targeted in Elliptic Curve (EC) cryptosystems. To protect against single-trace Side-Channel Analysis (SCA) attacks, the atomicity principle anโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Turnstile Streaming Algorithms Might (Still) as Well Be Linear Sketches, for Polynomial-Length Streams

Cheng Jiang, Yinchen Liu, Huacheng Yu ยท 2026

A fundamental question in streaming complexity is whether every space-efficient turnstile algorithm is implicitly a linear sketch. The landmark work of Li, Nguyen, and Woodruff [LNW14] established an โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Iterative Receiver Processing at Relays in PNC-Enabled Multi-Hop Underwater Acoustic Networks

Gewei Zhang, Deqing Wang, Lizhao You, Xiangming Cai, Liqun Fu ยท 2026

Physical-layer network coding (PNC) can increase end-to-end throughput in bi-directional multi-hop underwater acoustic (UWA) networks. However, multipath delay spread and Doppler-induced inter-carrierโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Breaking MCP with Function Hijacking Attacks: Novel Threats for Function Calling and Agentic Models

Yannis Belkhiter, Giulio Zizzo, Sergio Maffeis, Seshu Tirupathi, John D. Kelleher ยท 2026

The growth of agentic AI has drawn significant attention to function calling Large Language Models (LLMs), which are designed to extend the capabilities of AI-powered system by invoking external functโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Physical and Augmented Reality based Playful Activities for Refresher Training of ASHA Workers in India

Arka Majhi, Satish B. Agnihotri, Aparajita Mondal ยท 2026

Recent health surveys in India highlight the alarming child malnutrition levels and lower rates of complete child immunization in many parts of India. Previous researches report that the conventional โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Beyond the YAML File: Understanding Real-World GitHub Actions Workflow Adoption

Ali Khatami, Carolin Brandt, Andy Zaidman ยท 2026

Continuous Integration and Continuous Deployment (CI/CD) have become fundamental to modern software development, with GitHub Actions (GHA) emerging as a dominant automation platform. In this study, weโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Towards Autonomous Driving with Short-Packet Rate Splitting: Age of Information Analysis and Optimization

Zirui Zheng, Yingyang Chen, Xinyue Pei, Xingwei Wang, Zhiquan Liu, Theodoros A. Tsiftsis, Miaowen Wen, Pingzhi Fan ยท 2026

To address the high mobility impacts and the ultra-reliable and low-latency communication (URLLC) requirements in autonomous driving scenarios, rate-splitting multiple access (RSMA) combined with shorโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

AITH: A Post-Quantum Continuous Delegation Protocol for Human-AI Trust Establishment

Zhaoliang Chen ยท 2026

The rapid deployment of AI agents acting autonomously on behalf of human principals has outpaced the development of cryptographic protocols for establishing, bounding, and revoking human-AI trust relaโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

TRAPTI: Time-Resolved Analysis for SRAM Banking and Power Gating Optimization in Embedded Transformer Inference

Jan Klhufek, Alberto Marchisio, Vojtech Mrazek, Lukas Sekanina, Muhammad Shafique ยท 2026

Transformer neural networks achieve state-of-the-art accuracy across language and vision tasks, but their deployment on embedded hardware is hindered by stringent area, latency, and energy constraintsโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Tag-based Physical-Layer Authentication Against Message Interference

Lei Yao, Boxiang He, Shilian Wang, Enyu Shi, Chau Yuen ยท 2026

Tag-based Physical-Layer Authentication (PLA) has attracted significant attention in recent years due to its low complexity, high security, and low latency. Traditional tag-based PLA schemes typicallyโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Navigating Marginalization: Toward Justice-Oriented Socio-Technical Design for Parent-Child Learning among Southeast Asian Immigrant Mothers in Taiwan

Ying-Yu Chen, Yang Hong, Yan-Rong Chen, Yi-Chieh Lee ยท 2026

This study investigates how Southeast Asian (SEA) immigrant mothers in Taiwan participate in their children's home-based learning. Drawing on semi-structured interviews and diary studies, we explore hโ€ฆ

Read Paper โ†’
Page 1 of 62 Next โ†’