Frontdoors, Not Backdoors: Accountable Anonymity for National Digital Identity
Shailesh Mishra, Roxanne Chevalley, Martin Burkhart, Bryan Ford
Preprint
Paper | BibTex

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

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

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

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)

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

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

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

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

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

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

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