Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements. - Atefeh Zareh Chahoki; Marco Roveri; Daniel Amyot; John Mylopoulos (OVERLAY@AI*IA, 2023)

CryptojackingTrap. - Atefeh Zareh Chahoki (IEEE DataPort, 2023)

Demo - Unmasking the Unseen: CryptojackingTrap, the Most Resilient Evasion-Proof Cryptojacking Malware Detection Algorithm. - Atefeh Zareh Chahoki; Hamid Reza Shahriari; Marco Roveri (WIFS, 2024)

CryptojackingTrap: An Evasion Resilient Nature-Inspired Algorithm to Detect Cryptojacking Malware. - Atefeh Zareh Chahoki; Hamid Reza Shahriari; Marco Roveri (IEEE Trans. Inf. Forensics Secur., 2024)

Conthereum: Concurrent Ethereum Optimized Transaction Scheduling for Multi-Core Execution. - Atefeh Zareh Chahoki; Maurice Herlihy; Marco Roveri (CoRR, 2025)

SoK: Concurrency in Blockchain - A Systematic Literature Review and the Unveiling of a Misconception. - Atefeh Zareh Chahoki; Maurice Herlihy; Marco Roveri (CoRR, 2025)

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts. - Atefeh Zareh Chahoki; Marco Roveri (CoRR, 2025)