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

May 21

“Securing Mixed Rust with Hardware Capabilities” @ CCS 2025

May 21

“A Practical and Secure Byzantine Robust Aggregator” @ CCS 2025

May 02

“Caplification: Bridging Capability-Aware and Capability-Oblivious Software” @ SACMAT 2025

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
Capstone
A Capability-based Foundation for Trustless Secure Memory Access
Tired of worrying about memory safety? Try Capstone!
APT
APT
Automated Program Translation
Wondering how to translate your program from one language to another? APT is here to help!
MAPS
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

Securing Mixed Rust with Hardware Capabilities

Jason Zhijingcheng Yu* and Fangqi Han* and Kaustab Choudhary and Trevor E. Carlson and Prateek Saxena

ACM Conference on Computer and Communications Security (CCS 2025). Taipei, Taiwan, October 2025.

PDF • Artefact

A Practical and Secure Byzantine Robust Aggregator

De Zhang Lee and Aashish Kolluri and Prateek Saxena and Ee-Chien Chang

ACM Conference on Computer and Communications Security (CCS 2025). Taipei, Taiwan, October 2025.

PDF

Caplification: Bridging Capability-Aware and Capability-Oblivious Software

Jason Zhijingcheng Yu and Mingkai Li and Aditya Badole and Trevor E. Carlson and Michael Swift and Prateek Saxena

ACM Symposium on Access Control Models and Technologies (SACMAT 2025). Stony Brook, New York, USA, July 2025.

PDF • Artefact

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
NUS School of Computing