The ASSET (Automated Systems SEcuriTy) Research Group at the Singapore University of Technology and Design does focused
research to enhance the safety, security and efficiency of Hardware/Software Systems.
We are always looking for researchers at all levels (Bachelor, Masters, PhD) to enrich the scientific activities in the group. For Post-doc positions, take a look at the individual research projects for opening. If you wish to join our group, contact Sudipta Chattopadhyay email: email@example.com directly with your CV.
CHALICE: Quantifying the Information Leakage in Cache Attacks via Symbolic Execution accepted to appear in ACM Transactions on Embedded Computing Systems (TECS). CHALICE formally quantifies the information leakage from execution for a wide variety of cache attacks, including the one used in Spectre like attacks.
ASSET research group members served in the organization of IEEE/IFIP VLSI-SoC 2018 (Michele, registration chair), XXXIII Conference on Design of Circuits and Integrated Systems (DCIS) 2018 (Michele, TPC), DATE 2019 (Michele, TPC), 7th IEEE Non-Volatile Memory Systems and Applications Symposium (NVMSA) 2018 (Chundong, TPC), CPSS 2018 (Sudipta, TPC), RTSS 2018 (Sudipta, TPC), RTAS 2019 (Sudipta, TPC), ASP-DAC 2019 (Sudipta, TPC), ISEC 2019 (Sudipta, TPC), DISSECT 2019 (Sudipta, TPC).
We're looking for highly motivated undergraduate researchers to work on AI/ML Testing and Verification. If you're interested, please drop an email to Sudipta Chattopadhyay with your résumé with the subject "Undergraduate AI/ML position".
We're looking for highly motivated undergraduate researchers to work on analyzing and defending against Timing-channel attacks such as Spectre. If you're interested, please drop an email to Sudipta Chattopadhyay with your résumé with the subject "Undergraduate Timing-channel position".
Securing systems against side-channel attacks. We have two post-doc positions open in this project starting Feb, 2019.
Verification and validation of Robotics Safety and Security.
Validation and Verification of AI/ML-based Systems.
Validation, Verification and Optimization of Software and Systems Performance.
Memory Safety of Cyber-physical Systems, IIoT Security Testing and Countermeasures.