Atefeh Zareh Chahoki

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

Collaborative distances:

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

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

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