Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Information Science and Technology Department Universiti Kebangsaan Malaysia, Kuala Lumpur, Malaysia Email: zarinashukur@ukm.edu.my Corresponding author: Ali Fattahdizaji (e-mail: p127035@siswa.ukm.edu.my)
1
0
2
A human-in-the-loop approach to smart contract analysis can catch subtle logical vulnerabilities that automated tools miss, as demonstrated by its success in identifying flaws in high-profile exploits.