Security in the IoT Space

IoT space is expanding at a tremendous pace and security in IoT systems has been identified as one of the critical areas which require focussed investigations and research. In this project we (along with researchers from Kyushu University) are developing a secure and trusted application layer framework for IoT systems. We at IITD are invested in investigating two important subproblems – smart contract verification and automated synthesis of smart contracts.