Atefeh Zareh Chahoki

According to our database, Atefeh Zareh Chahoki authored at least 7 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts.

Atefeh Zareh Chahoki, Marco Roveri

CoRR, July, 2025

SoK: Concurrency in Blockchain - A Systematic Literature Review and the Unveiling of a Misconception.

Atefeh Zareh Chahoki, Maurice Herlihy, Marco Roveri

CoRR, June, 2025

Conthereum: Concurrent Ethereum Optimized Transaction Scheduling for Multi-Core Execution.

Atefeh Zareh Chahoki, Maurice Herlihy, Marco Roveri

CoRR, April, 2025

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

Demo - Unmasking the Unseen: CryptojackingTrap, the Most Resilient Evasion-Proof Cryptojacking Malware Detection Algorithm.

Atefeh Zareh Chahoki, Hamid Reza Shahriari, Marco Roveri

Proceedings of the IEEE International Workshop on Information Forensics and Security, 2024

2023

CryptojackingTrap.

Atefeh Zareh Chahoki

Dataset, May, 2023

Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements.

Atefeh Zareh Chahoki, Marco Roveri, Daniel Amyot, John Mylopoulos

Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023