Expertini Research Research

Browse Research Papers

1,638+ open-access research outputs.

✕ Clear
🔍 bart preneel 📂 Computer Science
Showing 1638 results for "bart preneel" in Computer Science
Computer Science Preprint PDF DOI

NetSatBench: A Distributed LEO Constellation Emulator with an SRv6 Case Study

Andrea Detti, Shahram Dadras, Giuseppe Tropea · 2026

NetSatBench is a distributed emulation platform for evaluating communication protocols and application workloads over large-scale LEO satellite systems. Satellites, gateways, and user terminals are im…

Read Paper →
Computer Science Preprint PDF DOI

Cross-lingual Comparison of Research Funding Projects with Multilingual Sentence-BERT: Evidence from KAKENHI, NIH, NSF, and UKRI

Miki Kimura-Ida · 2026

Cross-national comparison of research funding projects is increasingly important for science policy and strategic planning, but language differences remain a major obstacle. In particular, KAKENHI pro…

Read Paper →
Computer Science Preprint PDF DOI

Locality for Codes over the Integers

Giulia Cavicchioni, Eleonora Guerrini, Julien Lavauzelle · 2026

In this work, we study the codes over the integers with locality constraints. We introduce a weighted notion of locality over $\mathbb{Z}/q_1\mathbb{Z} \times \cdots \times \mathbb{Z}/q_n\mathbb{Z}$ a…

Read Paper →
Computer Science Preprint PDF DOI

Embedded Rust or C Firmware? Lessons from an Industrial Microcontroller Use Case with Ariel OS

Bipin Thapa, Daniele Alfonso, Lorenzo Bini, Licio Mapelli, Kaspar Schleiser, Romain Fouquet, Emmanuel Baccelli · 2026

As Rust gains traction for developing safer systems software, a reality check for the microcontroller hardware segment becomes necessary. How ready is the Rust ecosystem for this segment? Can Rust com…

Read Paper →
Computer Science Preprint PDF DOI

On the Benefits of Traffic "Reprofiling" -- The Multiple Hops Case -- Part II

Jiaming Qiu, Roch Guerin · 2026

Delivering hard delay guarantees over packet networks is increasingly important to applications ranging from automotive systems, avionics, industrial control, etc. Traffic control and schedulers play …

Read Paper →
Computer Science Preprint PDF DOI

Adopting State-of-the-Art Pretrained Audio Representations for Music Recommender Systems

Yan-Martin Tamm, Anna Aljanaki · 2026

Over the years, Music Information Retrieval (MIR) research community has released various models pretrained on large amounts of music data. Transfer learning showcases the proven effectiveness of pret…

Read Paper →
Computer Science Preprint PDF DOI

Module Lattice Security (Part II): Module Lattice Reduction via Optimal Sign Selection

Ming-Xing Luo · 2026

We extend the CDPR lattice reduction algorithm from ideal to module lattices, leveraging the trace orthogonality of the power basis to decompose the module into rank-1 submodules and applying CDPR ind…

Read Paper →
Computer Science Preprint PDF DOI

Semantic Error Correction and Decoding for Short Block Codes

Jiafu Hao, Chentao Yue, Wanchun Liu, Branka Vucetic, Yonghui Li · 2026

This paper presents a semantic-enhanced receiver framework for transmitting natural language sentences over noisy wireless channels using multiple short block codes. After ASCII encoding, the sentence…

Read Paper →
Computer Science Preprint PDF DOI

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

Abhijit Talluri · 2026

Adversarial robustness evaluation underpins every claim of trustworthy ML deployment, yet the field suffers from fragmented protocols and undetected gradient masking. We make two contributions. (1) St…

Read Paper →
Computer Science Preprint PDF DOI

Watts-per-Intelligence Part II: Algorithmic Catalysis

Elija Perrier · 2026

We develop a thermodynamic theory of algorithmic catalysis within the watts-per-intelligence framework, identifying reusable computational structures that reduce irreversible operations for a task cla…

Read Paper →
Computer Science Preprint PDF DOI

DocQAC: Adaptive Trie-Guided Decoding for Effective In-Document Query Auto-Completion

Rahul Mehta, Kavin R V, Indrajit Pal, Tushar Abhishek, Pawan Goyal, Manish Gupta · 2026

Query auto-completion (QAC) has been widely studied in the context of web search, yet remains underexplored for in-document search, which we term DocQAC. DocQAC aims to enhance search productivity wit…

Read Paper →
Computer Science Preprint PDF DOI

Learning Unanimously Acceptable Lotteries via Queries

Davin Choo, Paul W. Goldberg, Nicholas Teh · 2026

Many high-stakes AI deployments proceed only if every stakeholder deems the system acceptable relative to their own minimum standard. With randomization over a finite menu of options, this becomes a f…

Read Paper →
Computer Science Preprint PDF DOI

Governed MCP: Kernel-Level Tool Governance for AI Agents via Logit-Based Safety Primitives

Daeyeon Son · 2026

AI agents increasingly call external tools (file system, network, APIs) through the Model Context Protocol (MCP). These tool calls are the agent's syscalls -- privileged operations with side effects o…

Read Paper →
Computer Science Preprint PDF DOI

Module Lattice Security (Part I): Unconditional Verification of Weber's Conjecture for $k \le 12$

Ming-Xing Luo · 2026

Weber's conjecture (1886) governs three aspects of lattice-based cryptography: the solvability of the Principal Ideal Problem, the freeness of modules over rings of integers, and the tightness of wors…

Read Paper →
Computer Science Preprint PDF DOI

SAKURAONE: An Open Ethernet-Based AI HPC System and Its Observed Workload Dynamics in a Single-Tenant LLM Development Environment

Fumikazu Konishi, Yuuki Tsubouchi, Hirofumi Tsuruta · 2026

SAKURAONE is a managed high performance computing (HPC) cluster developed and operated by the SAKURA Internet Research Center. It builds on the KOKARYOKU PHY bare metal GPU platform and is optimized f…

Read Paper →
Computer Science Preprint PDF DOI

Online TCP Acknowledgment under General Delays

Sujoy Bhore, Micha{l} Paw{l}owski, Seeun William Umboh · 2026

In a seminal work, Dooly, Goldman, and Scott (STOC 1998; JACM 2001) introduced the classic Online TCP Acknowledgment problem. In this problem, a sequence of $n$ packets arrives over time, and the obje…

Read Paper →
Computer Science Preprint PDF DOI

ProbeLogits: Kernel-Level LLM Inference Primitives for AI-Native Operating Systems

Daeyeon Son · 2026

An OS kernel that runs LLM inference internally can read logit distributions before any text is generated and act on them as a governance primitive. This paper presents ProbeLogits, a kernel-level ope…

Read Paper →
Computer Science Preprint PDF DOI

Cross-Cultural Bias in Mel-Scale Representations: Evidence and Alternatives from Speech and Music

Shivam Chauhan, Ajay Pundhir · 2026

Modern audio systems universally employ mel-scale representations derived from 1940s Western psychoacoustic studies, potentially encoding cultural biases that create systematic performance disparities…

Read Paper →
Computer Science Preprint PDF DOI

Hagenberg Risk Management Process (Part 3): Operationalization, Probabilities, and Causal Analysis

Eckehard Hermann, Harald Lampesberger · 2026

For risks that cannot be accepted, sufficiently mitigated, or eliminated, continuous observation is a viable approach but requires a model that can be operationalized. The Hagenberg Risk Management Pr…

Read Paper →
Computer Science Preprint PDF DOI

The Art of (Mis)alignment: How Fine-Tuning Methods Effectively Misalign and Realign LLMs in Post-Training

Rui Zhang, Hongwei Li, Yun Shen, Xinyue Shen, Wenbo Jiang, Guowen Xu, Yang Liu, Michael Backes, Yang Zhang · 2026

The deployment of large language models (LLMs) raises significant ethical and safety concerns. While LLM alignment techniques are adopted to improve model safety and trustworthiness, adversaries can e…

Read Paper →
Page 1 of 82 Next →