Login / Signup
Atefeh Zareh Chahoki
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Formal Verification
Optimization Problems
Simulated Annealing
Nature Inspired
Top Venues
OVERLAY@AI*IA
IEEE Trans. Inf. Forensics Secur.
</>
Publications
</>
Atefeh Zareh Chahoki
,
Hamid Reza Shahriari
,
Marco Roveri
CryptojackingTrap: An Evasion Resilient Nature-Inspired Algorithm to Detect Cryptojacking Malware.
IEEE Trans. Inf. Forensics Secur.
19 (2024)
Atefeh Zareh Chahoki
,
Marco Roveri
,
Daniel Amyot
,
John Mylopoulos
Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements.
OVERLAY@AI*IA
(2023)