Biography
Atefeh Zareh Chahoki is a PhD candidate in Computer Science at the University of Trento, conducting R&D in blockchain system security and scalability since 2013. Part of her research focuses on cryptojacking, one of the fastest-growing cybersecurity threats, addressing the evasion limitation of existing detection techniques. This work led to the development of CryptojackingTrap, a resilient low-level detection framework utilizing adaptive cryptocurrency listeners, published in IEEE Transactions on Information Forensics and Security, the first-ranked journal in security. She also contributes to smart contract security through formal verification, enhancing VeriSolid, a correct-by-design platform for generating secure smart contracts. Her work on blockchain scalability resulted in Conthereum, a solution for concurrent Ethereum transaction execution using static analysis of smart contracts. Beyond research, Atefeh has extensive teaching and industry experience. She has delivered numerous lectures at four universities, mentored numerous theses, and has over a decade of expertise in software development, technical leadership, and project management, including national-level initiatives for one of the world’s top 25 banking institutions.