Resource assignment in vehicular clouds. - Mahmudun Nabi; Robert Benkoczi; Sherin Abdel Hamid; Hossam S. Hassanein (ICC, 2017)

Verifiable Computation using Smart Contracts. - Sepideh Avizheh; Mahmudun Nabi; Reihaneh Safavi-Naini; Muni Venkateswarlu K. (CCSW, 2019)

Game-Theoretic Analysis of an Incentivized Verifiable Computation System. - Mahmudun Nabi; Sepideh Avizheh; Muni Venkateswarlu Kumaramangalam; Reihaneh Safavi-Naini (Financial Cryptography Workshops, 2019)

Privacy-Preserving Resource Sharing Using Permissioned Blockchains - (The Case of Smart Neighbourhood). - Sepideh Avizheh; Mahmudun Nabi; Saoreen Rahman; Setareh Sharifian; Reihaneh Safavi-Naini (Financial Cryptography Workshops, 2021)

Fides: A System for Verifiable Computation Using Smart Contracts. - Mahmudun Nabi; Sepideh Avizheh; Reihaneh Safavi-Naini (Financial Cryptography Workshops, 2022)

sigBridge: A Cross-chain Bridge for Permissioned Blockchains and its application to decentralized access control. - Mahmudun Nabi; Sepideh Avizheh; Preston Haffey; Reihaneh Safavi-Naini; Marc Kneppers (HICSS, 2024)

Refereed Delegation of Computation Using Smart Contracts. - Sepideh Avizheh; Mahmudun Nabi; Reihaneh Safavi-Naini (IEEE Trans. Dependable Secur. Comput., 2024)