Expertini Research Research

Browse Research Papers

343+ open-access research outputs.

✕ Clear
🔍 c.k. allen 📂 Computer Science
Showing 343 results for "c.k. allen" in Computer Science
Computer Science Preprint PDF DOI

Strongly Refuting Random CSP without Literals

Siu On Chan, Tommaso d'Orsi, Jeff Xu · 2026

Under what condition is a random constraint satisfaction problem hard to refute by the sum-of-squares (SoS) algorithm? A sufficient condition is t-wise uniformity, that is, each constraint has a t-wis…

Read Paper →
Computer Science Preprint PDF DOI

Near Optimal Algorithms for Noisy $k$-XOR under Low-Degree Heuristic

Songtao Mao · 2026

Noisy $k$-XOR is a basic average-case inference problem in which one observes random noisy $k$-ary parity constraints and seeks to recover, or more weakly, detect, a hidden Boolean assignment. A centr…

Read Paper →
Computer Science Preprint PDF DOI

Beyond Single Reports: Evaluating Automated ATT&CK Technique Extraction in Multi-Report Campaign Settings

Md Nazmul Haque, Sivana Hamer, Brandon Wroblewski, Md Rayhanur Rahman, Laurie Williams · 2026

Large-scale cyberattacks, referred to as campaigns, are documented across multiple CTI reports from diverse sources, with some providing a high-level overview of attack techniques and others providing…

Read Paper →
Computer Science Preprint PDF DOI

Your Agent, Their Asset: A Real-World Safety Analysis of OpenClaw

Zijun Wang, Haoqin Tu, Letian Zhang, Hardy Chen, Juncheng Wu, Xiangyan Liu, Zhenlong Yuan, Tianyu Pang, Michael Qizhe Shieh, Fengze Liu, Zeyu Zheng, Huaxiu Yao, Yuyin Zhou, Cihang Xie · 2026

OpenClaw, the most widely deployed personal AI agent in early 2026, operates with full local system access and integrates with sensitive services such as Gmail, Stripe, and the filesystem. While these…

Read Paper →
Computer Science Preprint PDF DOI

Subset Balancing and Generalized Subset Sum via Lattices

Yiming Gao, Yansong Feng, Honggang Hu, Yanbin Pan · 2026

We study the Subset Balancing problem: given $x \in \mathbb{Z}^n$ and a coefficient set $C \subseteq \mathbb{Z}$, find a nonzero vector $c \in C^n$ such that $c\cdot x = 0$. The standard meet-in-the-m…

Read Paper →
Computer Science Preprint PDF DOI

Random tensor isomorphism under orthogonal and unitary actions

Jeremy Chizewer, Samuel Everett, Deven Mithal, Youming Qiao · 2026

We study the problem of testing whether two tensors in $\mathbb{R}^\ell\otimes \mathbb{R}^m\otimes \mathbb{R}^n$ are isomorphic under the natural action of orthogonal groups $\textbf{O}(\ell, \mathbb{…

Read Paper →
Computer Science Preprint PDF DOI

Efficient ML-DSA Public Key Management Method with Identity for PKI and Its Application

Penghui Liu, Yi Niu, Xiaoxiong Zhong, Jiahui Wu, Weizhe Zhang, Kaiping Xue, Bin Xiao · 2026

With the rapid evolution of the Industrial Internet of Things (IIoT), the boundaries and scale of the Internet are continuously expanding. Consequently, the limitations of traditional certificate-base…

Read Paper →
Computer Science Preprint PDF DOI

Incremental Live Programming via Shortcut Memoization

Marisa Kirisame, Thomas J. Porter, Ruqing Yang, Jianqiu Zhao, Yudi Wu, Ivan Wei, Cyrus Omar, Pavel Panchekha · 2026

Live programming systems aim to quickly show programmers the dynamic impacts of program edits. To do so, they re-execute the program whenever it is edited, which poses a computational challenge when p…

Read Paper →
Computer Science Preprint PDF DOI

FS_GPlib: Breaking the Web-Scale Barrier - A Unified Acceleration Framework for Graph Propagation Models

Chang Guo, Juyuan Zhang, Chang Su, Tianlong Fan, Linyuan Lu · 2026

Propagation models are essential for modeling and simulating dynamic processes such as epidemics and information diffusion. However, existing tools struggle to scale to large-scale graphs that emerge …

Read Paper →
Computer Science Preprint PDF DOI

Correlation Bounds and Markov Analysis for Ring-Oscillator TRNGs: A Joint Validation Framework

Miguel Alcocer, Ana Isabel Gomez, Domingo Gomez-Perez · 2026

True Random Number Generators (TRNGs) based on ring oscillators require rigorous statistical validation to ensure cryptographic quality. While the Mauduit-S\'ark\"ozy $k$-th order correlation measure …

Read Paper →
Computer Science Preprint PDF DOI

Operationalising Cyber Risk Management Using AI: Connecting Cyber Incidents to MITRE ATT&CK Techniques, Security Controls, and Metrics

Emad Sherif, Iryna Yevseyeva, Vitor Basto-Fernandes, Allan Cook · 2026

The escalating frequency of cyber-attacks poses significant challenges for organisations, particularly small enterprises constrained by limited in-house expertise, insufficient knowledge, and financia…

Read Paper →
Computer Science Preprint PDF DOI

Why Do We Suffer for Fun? Ordeal Pleasure in Souls-like Games

Flint Xiaofeng Fan · 2026

Souls-like games exemplify how digital play can produce radical forms of pleasure through sustained challenge: players voluntarily invest tens or hundreds of hours in experiences designed to kill them…

Read Paper →
Computer Science Preprint PDF DOI

Compositionality of Systems and Partially Ordered Runs

Peter Fettke, Wolfgang Reisig · 2026

In the late 1970s, C.A. Petri introduced partially ordered event occurrences (runs), then called \emph{processes}, as the appropriate model to describe the individual evolutions of distributed systems…

Read Paper →
Computer Science Preprint PDF DOI

Exploration of Radar-based Obstacle Visualizations to Support Safety and Presence in Camera-Free Outdoor VR

Avinash Ajit Nargund, Andrew L. Huard, Tobias Hollerer, Misha Sra · 2026

Outdoor virtual reality (VR) places users in dynamic physical environments where they must remain aware of real-world obstacles, including static structures and moving bystanders, while immersed in a …

Read Paper →
Computer Science Preprint PDF DOI

Eternagram: Inspiring Climate Action Through LLM-based Conversational Exploration of a Post-Devastation Climate Future

Suifang Zhou, Ray LC · 2026

Climate action is difficult to persuade because we tend to perceive climate change as remote and disconnected from daily life. Instead of traditional informational engagements, game-based intervention…

Read Paper →
Computer Science Preprint PDF DOI

AlienLM: Alienization of Language for API-Boundary Privacy in Black-Box LLMs

Jaehee Kim, Pilsung Kang · 2026

Modern LLMs are increasingly accessed via black-box APIs, requiring users to transmit sensitive prompts, outputs, and fine-tuning data to external providers, creating a critical privacy risk at the AP…

Read Paper →
Computer Science Preprint PDF DOI

What's it like to be a chat? On the co-simulation of artificial minds in human-AI conversations

Geoff Keeling, Winnie Street · 2026

Large Language Models (LLMs) can simulate person-like things which at least appear to have stable behavioural and psychological dispositions. Call these things characters. Are characters minded and ps…

Read Paper →
Computer Science Preprint PDF DOI

ISADM: An Integrated STRIDE, ATT&CK, and D3FEND Model for Threat Modeling Against Real-world Adversaries

Khondokar Fida Hasan, Hasibul Hossain Shajeeb, Chathura Abeydeera, Benjamin Turnbull, Matthew Warren · 2025

FinTechs increasing connectivity, rapid innovation, and reliance on global digital infrastructures present significant cybersecurity challenges. Traditional cybersecurity frameworks often struggle to …

Read Paper →
Computer Science Preprint PDF DOI

Adaptive Matrix Sparsification and Applications to Empirical Risk Minimization

Yang P. Liu, Richard Peng, Colin Tang, Albert Weng, Junzhao Yang · 2025

Consider the empirical risk minimization (ERM) problem, which is stated as follows. Let $K_1, \dots, K_m$ be compact convex sets with $K_i \subseteq \mathbb{R}^{n_i}$ for $i \in [m]$, $n = \sum_{i=1}^…

Read Paper →
Computer Science Preprint PDF DOI

Evaluating the Robustness of Large Language Model Safety Guardrails Against Adversarial Attacks

Richard J. Young · 2025

Large Language Model (LLM) safety guardrail models have emerged as a primary defense mechanism against harmful content generation, yet their robustness against sophisticated adversarial attacks remain…

Read Paper →
Page 1 of 18 Next →