Expertini Research Research

Browse Research Papers

262+ open-access research outputs.

✕ Clear
🔍 candace berrett 📂 Computer Science
Showing 262 results for "candace berrett" in Computer Science
Computer Science Preprint PDF DOI

Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking

Ray Iskander, Khaled Kirah · 2026

This is Paper 6 of a series of formally-verified analyses of masked NTT hardware for post-quantum cryptography; Paper 1 [1] established structural dependency analysis of the QANARY platform, and Paper…

Read Paper →
Computer Science Preprint PDF DOI

Machine-Checked Cardinality Bounds for Masked Barrett Reduction: A 1-Bit Side-Channel Leakage Barrier in Post-Quantum Cryptographic Hardware

Ray Iskander, Khaled Kirah · 2026

Barrett reduction is the nonlinear core of every practical NTT-based post-quantum cryptography implementation. Existing composition frameworks (ISW, t-SNI, PINI, DOM) address Boolean masking over GF(2…

Read Paper →
Computer Science Preprint PDF DOI

Compliance Moral Hazard and the Backfiring Mandate

Jian Ni, Lecheng Zheng, John R Birge · 2026

Competing firms that serve shared customer populations face a fundamental information aggregation problem: each firm holds fragmented signals about risky customers, but individual incentives impede ef…

Read Paper →
Computer Science Preprint PDF DOI

Structural Quality Gaps in Practitioner AI Governance Prompts: An Empirical Study Using a Five-Principle Evaluation Framework

Christo Zietsman · 2026

AI governance programmes increasingly rely on natural language prompts to constrain and direct AI agent behaviour. These prompts function as executable specifications: they define the agent's mandate,…

Read Paper →
Computer Science Preprint PDF DOI

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

Ray Iskander, Khaled Kirah · 2026

Post-quantum cryptographic (PQC) accelerators for ML-KEM (FIPS 203) and ML-DSA (FIPS 204) rely on pipelined Number Theoretic Transform (NTT) stages over $\mathbb{Z}_q$. Our prior work established stru…

Read Paper →
Computer Science Preprint PDF DOI

Structural Dependency Analysis for Masked NTT Hardware: Scalable Pre-Silicon Verification of Post-Quantum Cryptographic Accelerators

Ray Iskander, Khaled Kirah · 2026

Post-quantum cryptographic (PQC) accelerators implementing ML-KEM (FIPS 203) and ML-DSA (FIPS 204) require side-channel resistance evidence for FIPS 140-3 certification. However, exact masking-verific…

Read Paper →
Computer Science Preprint PDF DOI

BracketRank: Large Language Model Document Ranking via Reasoning-based Competitive Elimination

Abdelrahman Abdallah, Mohammed Ali, Bhawna Piryani, Adam Jatowt · 2026

Reasoning-intensive retrieval requires deep semantic inference beyond surface-level keyword matching, posing a challenge for current LLM-based rerankers limited by context constraints and order sensit…

Read Paper →
Computer Science Preprint PDF DOI

AI Agents Under EU Law

Luca Nannini, Adam Leon Smith, Michele Joshua Maggini, Enrico Panai, Sandra Feliciano, Aleksandr Tiulkanov, Elena Maran, James Gealy, Piercosma Bisconti · 2026

AI agents - i.e. AI systems that autonomously plan, invoke external tools, and execute multi-step action chains with reduced human involvement - are being deployed at scale across enterprise functions…

Read Paper →
Computer Science Preprint PDF DOI

Ordering Power is Sanctioning Power: Sanction Evasion-MEV and the Limits of On-Chain Enforcement

Di Wu, Yuman Bai, Shoupeng Ren, Xinyu Zhang, Yiyue Cao, Xuechao Wang, Wu Wen, Jian Liu · 2026

Centralized stablecoins such as USDT and USDC enforce financial sanctions through contract-layer blacklist functions, yet on public blockchains a freeze is merely an ordinary transaction that must com…

Read Paper →
Computer Science Preprint PDF DOI

Why Synchronized Time is a Fiction: Daylight Saving Time, Leap Seconds, and the Guillotine Sharpened for Nothing

Paul Borrill · 2026

Civilization maintains an elaborate infrastructure devoted to the maintenance of synchronized time. Governments mandate daylight saving time. Standards bodies insert leap seconds into Coordinated Univ…

Read Paper →
Computer Science Preprint PDF DOI

Whose Knowledge Counts? Co-Designing Community-Centered AI Auditing Tools with Educators in Hawai`i

Dora Zhao, Hannah Cha, Michael J. Ryan, Angelina Wang, Rachel Baker-Ramos Evyn-Bree Helekahi-Kaiwi, Rebecca Diego, Josiah Hester, Diyi Yang · 2026

Although generative AI is being deployed into classrooms with promises of aiding teachers, educators caution that these tools can have unintended pedagogical repercussions, including cultural misrepre…

Read Paper →
Computer Science Preprint PDF DOI

Ethical Implications of Training Deceptive AI

Jason Starace, Bert Baumgaertner, Terence Soule · 2026

Deceptive behavior in AI systems is no longer theoretical: large language models strategically mislead without producing false statements, maintain deceptive strategies through safety training, and co…

Read Paper →
Computer Science Preprint PDF DOI

Collaboration by Mandate: How Shared Data Infrastructure Shapes Coordination and Control in U.S. Homelessness Services

Lingwei Cheng, Saerim Kim, Andrew Sullivan · 2026

When governments mandate collaboration, shared data systems can serve both as tools for coordination and instruments of control. This study examines U.S. homelessness service networks, where Continuum…

Read Paper →
Computer Science Preprint PDF DOI

Bridging the Reproducibility Divide: Open Source Software's Role in Standardizing Healthcare AI

John Wu, Zhenbang Wu, Jimeng Sun · 2026

Our analysis of recent AI4H publications reveals that, despite a trend toward utilizing open datasets and sharing modeling code, 74% of AI4H papers still rely on private datasets or do not share their…

Read Paper →
Computer Science Preprint PDF DOI

interID -- An Ecosystem-agnostic Verifier-as-a-Service with OpenID Connect Bridge

Hakan Yildiz, Axel Kupper · 2026

Self-Sovereign Identity (SSI) enables user-controlled, cryptographically verifiable credentials. As EU regulations mandate EUDI Wallet acceptance by 2027, SSI adoption becomes a compliance necessity. …

Read Paper →
Computer Science Preprint PDF DOI

Buy versus Build an LLM: A Decision Framework for Governments

Jiahao Lu, Ziwei Xu, William Tjhi, Junnan Li, Antoine Bosselut, Pang Wei Koh, Mohan Kankanhalli · 2026

Large Language Models (LLMs) represent a new frontier of digital infrastructure that can support a wide range of public-sector applications, from general purpose citizen services to specialized and se…

Read Paper →
Computer Science Preprint PDF DOI

"Death" of a Chatbot: Investigating and Designing Toward Psychologically Safe Endings for Human-AI Relationships

Rachel Poonsiriwong, Chayapatr Archiwaranguprok, Pat Pataranutaporn · 2026

Millions of users form emotional attachments to AI companions like Character AI, Replika, and ChatGPT. When these relationships end through model updates, safety interventions, or platform shutdowns, …

Read Paper →
Computer Science Preprint PDF DOI

Zero-Trust Runtime Verification for Agentic Payment Protocols: Mitigating Replay and Context-Binding Failures in AP2

Qianlong Lan, Anuj Kaul, Shaun Jones, Stephanie Westrum · 2026

The deployment of autonomous AI agents capable of executing commercial transactions has motivated the adoption of mandate-based payment authorization protocols, including the Universal Commerce Protoc…

Read Paper →
Computer Science Preprint PDF DOI

Basis-Spline Assisted Coded Computing: Strategies and Error Bounds

Rimpi Borah, J. Harshan, V. Lalitha · 2026

Coded computing has emerged as a key framework for addressing the impact of stragglers in distributed computation. While polynomial functions often admit exact recovery under existing coded computing …

Read Paper →
Computer Science Preprint PDF DOI

Cognitive Sovereignty and the Neurosecurity Governance Gap: Evidence from Singapore

Hailee Carter · 2025

As brain computer interfaces (BCIs) transition from experimental medical systems to consumer and military adjacent technologies, they introduce a novel security domain in which the human nervous syste…

Read Paper →
Page 1 of 14 Next →