SECURITY

As our everyday lives become increasingly digital, it is crucial to ensure that our data

and privacy is secure.​

From blockchain security and cryptography to infrastructure security, we design, develop, and deploy solutions for improving security and privacy across both software and hardware computer systems.

WHAT WE DO

Image

Construct and analyse protocols to prevent third parties (or adversaries) from maliciously accessing data.

Image

Develop solutions to combat security breaches caused by hardware failure.

Image

Study techniques to detect and prevent unauthorised access to computer and Internet network systems.

Image

Explore issues and developments in biometrics, multimedia, and machine learning security.

Image

Analyse threats across all areas of security, developing solutions to preserve privacy and develop secure computing systems.

SUB AREAS:

Access Control & Authorisation​

Authentication & Biometrics​

Blockchain Security​

Cloud Security​

Cryptography​

Distributed System Security​

Fintech Security​

Hardware Security

Infrastructure Security & Experimentation​

Internet of Things (IoT) & Cyber Physical Systems (CPS) Security​

Language-Based Security​

Machine Learning & AI Security​

Malware Analysis & Attack Investigation​

Mobile Security & Privacy

Multimedia Security & Forensics​

Network & Protocol Security​

Operating System Security

Software Security & Analysis​

Privacy Technologies​

Trustworthy Computing​

Web Security & Privacy

OUR RESEARCH PROJECTS

Trustworthy de-centralized (federated) learning

Reza SHOKRI


Auditing data privacy (in machine learning)

Reza SHOKRI


Robustness and security in machine learning

Reza SHOKRI


BCube: Overcoming the 50% Barrier in Blockchains

YU Haifeng


Fuzzing and Symbolic Execution

Abhik ROYCHOUDHURY

  • TRL 4
  • Software Security & Analysis

Automated Program Repair

Abhik ROYCHOUDHURY

  • TRL 4
  • Software Security & Analysis

OUR RESEARCH GROUPS

Data Privacy and Trustworthy Machine Learning Lab

Reza SHOKRI


Verified Systems Engineering

Ilya SERGEY, Mirela Andreea COSTEA

We do research in the design and implementation of programming languages (PL), mathematical models of computation, and computer-assisted formal reasoning. We investigate the theoretical foundations of programming and build tools for ensuring that certain kinds of costly software errors and vulnerabilities never occur in the real-world code, which many people rely upon in their everyday lives.

  • Blockchain Security, Fintech Security, Trustworthy Computing

Trustworthy Software Systems

Abhik ROYCHOUDHURY

Past and present research team members in this group appear here: https://www.comp.nus.edu.sg/~abhik/students.htm

  • Software Security & Analysis, Trustworthy Computing