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
research note
This paper asks a simple but important question: if Chia is marketed as a greener blockchain because it replaces computation with storage, what is its real energy and carbon footprint once you acco…
research note
This paper critically examines the widely held assumption in Unix-like systems that filesystem operations exhibit instantaneous atomic state transitions, exposing this assumption as a fundamental c…
