Publications

  1. Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts†
    Ilham Qasse*, Shailesh Mishra*, Björn Þór Jónsson, Foutse Khomh, Mohammad Hamdaqa
    IEEE International Conference on Software Services Engineering 2023
    Paper | BibTex
    († - Invited Paper; * - Equal Contribution)

  2. A Blockchain-Based Interoperable Architecture for IoT with Selective Disclosure of Information
    Rahma Mukta, Shantanu Pal, Shailesh Mishra, Helen Paik, Salil S. Kanhere, Michael Hitchens
    Accepted at IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2023)

  1. Vericom: A Verification and Communication Architecture for IoT-based Blockchain
    Ali Dorri, Shailesh Mishra, Raja Jurdak
    Elsevier’s Ad Hoc Networks Journal
    Paper | BibTex

  2. Distributed Secure Image Regeneration in CyberPhysical Systems
    Thesis
    Shailesh Mishra, Sanand Dilip Amita Athalye

  1. iContractBot: A chatbot for Smart Contracts' Specification and Code Generation
    Ilham Qasse, Shailesh Mishra, Mohammad Hamdaqa
    3rd International Workshop on Bots in Software Engineering
    Paper | BibTex

  2. BlockTorrent: A privacy-preserving data availability protocol for multiple stakeholder scenarios
    Ambrose Hill, Shailesh Mishra, Ali Dorri, Volkan Dedeoglu, Raja Jurdak, Salil S. Kanhere
    2021 IEEE International Conference on Blockchain and Cryptocurrency 2021 (ICBC 2021)
    Paper | BibTex

  3. BlockTorrent: A Blockchain Enabled Privacy-Preserving Data Availability Protocol for Multi-Stakeholder Scenarios
    Ambrose Hill, Shailesh Mishra, Atharv Singh Patlan, Ali Dorri, Volkan Dedeoglu, Raja Jurdak, Salil S. Kanhere
    The 4th IEEE International Conference on Blockchain (Blockchain 2021)
    Paper | BibTex

  1. Smart Voltage Monitoring: Centralised and Blockchain-based Decentralised Approach
    Shailesh Mishra, Shivam Kumar
    2020 IEEE International Conference on Internet of Things & Intelligence System
    Paper | BibTex