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
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