The US AI research company Anthropic has become known for building powerful AI models while simultaneously warning about ...

GigaWiper is a destructive backdoor that combines multiple wiping and ransomware-like capabilities into a single operational ...

We’re not exactly sure how old [SnailMail] is, but he’s probably a member of Generation Alpha considering that to our wizened ...

benchLANG is a reproducible cross-language runtime benchmark comparing 18 languages across prime sieve, recursive Fibonacci, string lookup, Mandelbrot, and binary tree workloads using pinned Nix ...

Learn the important Racket concepts with practical examples, from functions and recursion to macros, contracts, streams, and ...

Beast is a C++ header-only library serving as a foundation for writing interoperable networking libraries by providing low-level HTTP/1, WebSocket, and networking protocol vocabulary types and ...

As LLMs evolve into agentic embodied AI to control robotic systems such as drones, safety evaluations must expand beyond textual safety to include physical safety in the real world.

My research interests include data privacy (especially differential privacy), security (especially secure/verified computation), fairness, programming languages, and machine learning.