Optimizing for Sustainability and Security: Tackling the Dual Challenges in Cloud Computing

Cloud computing offers scalable and reliable internet services but introduces environmental and security challenges due to high energy consumption and complex infrastructure. This research explores identifying and analyzing ‘Sustainability Smells’ and ‘Security Smells’, indicating inefficient energy use and potential security risks. The project aims to uncover the prevalence and causes of these smells and develop […]

Read More

Smart Contract Auditing

The objective of this project is not to replace auditors but to augment their intelligence by offering valuable support through audit suggestions and leveraging innovative methods like code similarity and code transformation to enhance the detection of security issues in previously unaudited smart contracts.

Read More

Intention Driven Development

The project aims at devising an intelligent new generation of software development frameworks for emerging computing platforms (eg, cloud, blockchain) that aims to make programming accessible to citizen developers (business users with little development experience). Particularly, we will develop novel model synthesis and conceptualization approaches and tools by leveraging language models and harnessing human-in-the-loop feedback to enable […]

Read More