research note
This paper addresses the challenge of efficient and incentive-compatible routing in open, distributed multi-agent systems (MAS) built from large language model (LLM) inference agents
research note
This paper addresses a critical misalignment in authorization models for AI agents executing user natural-language (NL) tasks on the web
research note
This paper addresses a key limitation in AI-driven autoformalization of mathematics: while proof assistants ensure logical correctness of proofs via type checking, they do not guarantee that the fo…
research note
This paper is a Lean 4/Mathlib formalization of the classical planar isoperimetric inequality, proved via Hurwitz’s Fourier-analytic argument rather than via variational methods
research note
This work addresses the critical problem of robust user identification within Virtual Reality (VR) environments using behavioral biometrics derived from motion tracking data
research note
This survey systematically maps and synthesizes research on programmer attribution based on source code stylometry and behavioral biometrics from 2012 to 2025
research note
This paper asks a different question than most dark-web measurement work — not what content exists on onion services, but what users actually try to access and interact with
research note
Lattice is a peer-to-peer cryptocurrency protocol designed from inception as a post-quantum secure settlement layer
research note
This paper proposes Proof-of-Encryption-Work (PoEW), a re-framing of Proof-of-Work where the miner’s puzzle is not finding a SHA-256 nonce but searching for an encryption key that makes a block cip…
research note
This Systematization of Knowledge (SoK) traces the conceptual and empirical evolution of Maximal Extractable Value (MEV) in blockchain systems through three distinct chronological eras from 2014 to…
research note
aCAPTCHA targets a security gap that sits between classic CAPTCHA and identity/authentication — it tries to answer “is this requester a genuine AI agent?” rather than “is this requester human?” or “…
research note
This paper addresses longstanding limitations of CAPTCHAs related to usability, privacy, and resistance to outsourcing by CAPTCHA farms
