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.

Simulation of Secure Volunteer Computing by Using Blockchain

Zeus: Analyzing Safety of Smart Contracts

Click the Cite button above to demo the feature to enable visitors to import publication metadata into their reference management software. Click the Slides button above to demo Academic’s Markdown slides feature. --