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

Apr 11

“Program Skeletons for Automated Program Translation” @ PLDI25 (see 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.

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

Research fellows

Ivica Nikolić

Graduate students

Jason Yu

Bo Wang

Kareem Shehata

Ruishi Li

Tianyu Li

Louise Xu

Aditya Ranjan Jha

Mallika Prabhakar

Publications

Recent

Program Skeletons for Automated Program Translation

Bo Wang* and Tianyu Li* and Ruishi Li and Umang Mathur and Prateek Saxena

Programming Language Design and Implementation (PLDI 2025). Seoul, South Korea, June 2025.

PDF • Artefact

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.

PDF • Artefact

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.

PDF • Artefact

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.

PDF • Artefact

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.

PDF • Artefact

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.

PDF • Artefact

All publications

KISP

Keep it Secure and Private

@KISP-lab