Double voter perceptible blind signature based electronic voting protocol. - Yaser Baseri; Amir S. Mortazavi; Maryam Rajabzadeh Asaar; Mohsen Pourpouneh; Javad Mohajeri (ISC Int. J. Inf. Secur., 2011)

A short introduction to two approaches in formal verification of security protocols: model checking and theorem proving. - Mohsen Pourpouneh; Rasoul Ramezanian (ISC Int. J. Inf. Secur., 2016)

A Decentralized Online Sortition Protocol. - Rasoul Ramezanian; Mohsen Pourpouneh (ISC Int. J. Inf. Secur., 2018)

The Marriage Problem with Interdependent Preferences. - Mohsen Pourpouneh; Rasoul Ramezanian; Arunava Sen (IGTR, 2020)

The Homogenous Properties of Automated Market Makers. - Johannes Rude Jensen; Mohsen Pourpouneh; Kurt Nielsen; Omri Ross (CoRR, 2021)

FAST: Fair Auctions via Secret Transactions. - Bernardo David; Lorenzo Gentile; Mohsen Pourpouneh (IACR Cryptol. ePrint Arch., 2021)

An axiomatic characterization of the Slater rule. - Burak Can; Mohsen Pourpouneh; Ton Storcken (Soc. Choice Welf., 2021)

Concentrated Liquidity Analysis in Uniswap V3. - Saleh Hashemseresht; Mohsen Pourpouneh (DeFi@CCS, 2022)

On reward sharing in blockchain mining pools. - Burak Can; Jens Leth Hougaard; Mohsen Pourpouneh (Games Econ. Behav., 2022)

Farsighted Miners under Transaction Fee Mechanism EIP1559. - Jens Leth Hougaard; Mohsen Pourpouneh (ICBC, 2023)

Automated Market Makers for Cross-chain DeFi and Sharded Blockchains. - Mohsen Pourpouneh; Kurt Nielsen; Jesper Balman Gravgaard (CoRR, 2023)

Transaction fee mechanisms with farsighted miners. - Jens Leth Hougaard; Mohsen Pourpouneh; Haiting Han (Int. J. Netw. Manag., 2024)