IoT Security

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.

RA positions are available under this project

Subodh Sharma
Subodh Sharma
Assistant Professor

Related