Publications

  1. Towards the ideals of Self-Recovery and Metadata Privacy in Social Vault Recovery
    Shailesh Mishra, Simone Colombo, Pasindu Tennage, Martin Burkhart, Bryan Ford
    Preprint
    Paper | BibTex

  2. TRIP: Coercion-resistant Registration for E-Voting with Verifiability and Usability in Votegral
    Louis-Henri Merino, Simone Colombo, Rene Reyes, Alaleh Azhir, Shailesh Mishra, Pasindu Tennage, Mohammad Amin Raeisi, Haoqian Zhang, Jeff R Allen, Bernhard Tellenbach, Vero Estrada-Galiñanes, Bryan Ford
    SOSP '25: Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles
    Paper | BibTex

  3. ConsenStress: A Framework to Torture Test Consensus Protocols
    Pasindu Tennage, Shailesh Mishra, Alberto Sonnino, Lefteris Kokoris Kogias, Philipp Jovanovic, Bryan Ford
    EuroSys Poster, 2025
    Paper | BibTex

  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
    IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2023)
    Paper | BibTex

  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