3 papers
cs.CR2021
Vericom: A Verification and Communication Architecture for IoT-based Blockchain
Ali Dorri, Shailesh Mishra, Raja Jurdak
Blockchain has received tremendous attention as a secure, distributed, and anonymous framework for the Internet of Things (IoT). As a distributed system, blockchain trades off scal…
cs.SE2021
iContractBot: A Chatbot for Smart Contracts' Specification and Code Generation
Ilham Qasse, Shailesh Mishra, Mohammad Hamdaqa
Recently, Blockchain technology adoption has expanded to many application areas due to the evolution of smart contracts. However, developing smart contracts is non-trivial and chal…
cs.CR2020
Smart Voltage Monitoring: Centralised and Blockchain-based Decentralised Approach
Shailesh Mishra, Shivam Kumar
Voltage controls the majority of the processes around us, starting from lighting an incandescent lamp to running huge machines in industries. Therefore, voltage monitoring becomes…