We do research in the domain of the security and privacy of computers and communications at the National University of Singapore (School of Computing). Our research spans the following themes: ML Security, Decentralized Systems Security, Security Processors, and Automatic Program Translation. Our moto is “Keep It Secure and Private” or KISP for short.
AnvilHDL Compiler is open-sourced now: Code
Caplifive released for public use: Read More
Our paper on a user study about translating C to Rust is accepted at NDSS 2025.
Our paper ‘Attacking Byzantine Robust Aggregation in High Dimensions’ is accepted at IEEE S&P 2024.
Translating C To Rust: Lessons from a User Study
NDSS Symposium 2025 (NDSS 2025). San Diego, CA, February 2025.
Attacking Byzantine Robust Aggregation in High Dimensions
IEEE Symposium on Security and Privacy (S&P OAKLAND 2024). Oakland, CA, May 2024.
Unforgeability in Stochastic Gradient Descent
ACM Conference on Computer and Communications Security (CCS 2023). Copenhagen, DK, Nov 2023.
TransMap: Pinpointing Mistakes in Neural Code Translation
Foundations of Software Engineering (ESEC/FSE 2023). San Francisco, CA, Dec 2024.
Capstone: A Capability-based Foundation for Trustless Secure Memory Access
Usenix Security Symposium (Usenix Security 2023). Anaheim , CA, Aug 2023.
User-customizable Transpilation for Scripting Languages
ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2023). Cascais, PT, Oct 2023.