IoT space is expanding at a tremendous pace and security in IoT systems has been identified as one of the critical areas which require attention. In this project we are developing a secure and trusted application layer framework for IoT systems. We, at IITD, are investigating two important subproblems in the context of security of IoTs:
- smart contract verification and automated synthesis of smart contracts.
- Creation of
The project is funded by the DST-JST grant and Denso Corporation.