In our research group, we focus on software testing and analysis, software security, and trustworthy systems. More specifically, we contribute to the areas of Automated Program Repair and Fuzzing and Symbolic Execution.
Current Research Projects
Fuzz Testing, National Research Foundation (NRF) Cybersecurity R&D, 2023-27 | |
Automated Program Repair, Ministry of Education (MoE) Tier3 program, 2022-27. | |
Descartes: Intelligent Modeling for Decision Making in Critical Urban Systems, 2021-26. |
Past Research Projects
Previously, amongst others, our team members were involved in the following projects:
- National Satellite of Excellence in Trustworthy Software Systems, 2019-23.
- FuzzInfer: Fuzzing Protocol Implementations, with DSO, 2019-21.
- Trustworthy systems from un-trusted component amalgamations, 2015-20.
- Singapore Cyber-security Consortium, 2016-22.