KISP Lab Logo KISP Lab Logo
Keep it Secure and Private @NUS

About Us

Group photo

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.

News

Mar 01

AnvilHDL Compiler is open-sourced now: Code

Jan 16

Caplifive released for public use: Read More

Nov 01

Our paper on a user study about translating C to Rust is accepted at NDSS 2025.

Mar 09

Our paper ‘Attacking Byzantine Robust Aggregation in High Dimensions’ is accepted at IEEE S&P 2024.

Projects

Capstone
A Capability-based Foundation for Trustless Secure Memory Access
Tired of worrying about memory safety? Try Capstone!
APT
Automated Program Translation
Wondering how to translate your program from one language to another? APT is here to help!
MAPS
Machine Learning and Algorithms for Practical Security
Trying to solve ML security problems once and for all? MAPS is here to help!

People

Faculty

Prateek Saxena
Prateek Saxena

Research fellows

Ivica Nikolić
Ivica Nikolić

Graduate students

Jason Yu
Jason Yu
Bo Wang
Bo Wang
Kareem Shehata
Kareem Shehata
Ruishi Li
Ruishi Li
Tianyu Li
Tianyu Li
Louise Xu
Louise Xu
Aditya Ranjan Jha
Aditya Ranjan Jha
Mallika Prabhakar
Mallika Prabhakar

Publications

Recent

Translating C To Rust: Lessons from a User Study

Ruishi Li* and Bo Wang* and Tianyu Li and Prateek Saxena and Ashish Kundu

NDSS Symposium 2025 (NDSS 2025). San Diego, CA, February 2025.

PDF

Attacking Byzantine Robust Aggregation in High Dimensions

Sarthak Choudhary* and Aashish Kolluri* and Prateek Saxena

IEEE Symposium on Security and Privacy (S&P OAKLAND 2024). Oakland, CA, May 2024.

Unforgeability in Stochastic Gradient Descent

Teodora Baluta and Ivica Nikolic and Racchit Jain and Divesh Aggarwal and Prateek Saxena

ACM Conference on Computer and Communications Security (CCS 2023). Copenhagen, DK, Nov 2023.

TransMap: Pinpointing Mistakes in Neural Code Translation

Bo Wang and Ruishi Li and Mingkai Li and Prateek Saxena

Foundations of Software Engineering (ESEC/FSE 2023). San Francisco, CA, Dec 2024.

Capstone: A Capability-based Foundation for Trustless Secure Memory Access

Jason Zhijingcheng Yu and Conrad Watt and Aditya Badole and Trevor Carlson and Prateek Saxena

Usenix Security Symposium (Usenix Security 2023). Anaheim , CA, Aug 2023.

User-customizable Transpilation for Scripting Languages

Bo Wang and Aashish Kolluri and Ivica Nikolic and Teodora Baluta and Prateek Saxena

ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2023). Cascais, PT, Oct 2023.

KISP
Keep it Secure and Private
NUS School of Computing