research note
This paper presents LeanTutor, a proof-of-concept AI-based mathematical proof tutoring system that combines the language fluency of Large Language Models (LLMs) with the formal correctness guarante…
research note
This paper is a broad survey and implementation blueprint about the dual-use impact of LLMs and GenAI on platform integrity, cybersecurity, privacy, financial compliance, and healthcare diagnostics
research note
This paper studies a practical incentive problem in honeyword-based breach detection: remote monitoring of login attempts at other sites is useful for catching honeyword use, but each site bears th…
research note
This paper studies browser fingerprinting through the timing behavior of WebAssembly (Wasm) and JavaScript interoperability
research note
This paper investigates a systemic vulnerability in popular Web privacy and security tools related to their mishandling of local frames—iframes with non-URL sources such as 'about:blank'—which shou…
research note
MOPP is presented as an open-source, modular web platform for running online psychophysics experiments without requiring researchers to stitch together separate tools for task creation, hosting, au…
research note
This is a survey paper, not an empirical system paper
research note
EarthOL proposes a domain-restricted alternative to proof-of-work: instead of burning energy on arbitrary computation, the protocol tries to reward verifiable human contributions in bounded domains…
research note
This paper addresses the challenge of detecting bias in machine learning datasets without relying on sensitive demographic labels or rigid fairness metrics, which can be inaccessible or ethically p…
research note
This paper addresses the challenge of designing car-following models for automated vehicles that are both provably safe and exhibit human-like driving behaviors, especially under braking scenarios
research note
The reported outcome is a public framework plus a dataset of 14,889 synthetic identities, with evidence that the resulting identities align better with real embedding-space structure than prior syn…
research note
This paper asks whether free-text keystroke biometrics can be studied without collecting real user data by simulating typing behavior with an agent-based model (ABM)
