Announcement_1
Receiving *Artifact Evaluated Reusable* and *Artifact Available* badges from ICSE’23 Artifact Evaluation for our paper “AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities” Contracts”!  
 
Receiving *Artifact Evaluated Reusable* and *Artifact Available* badges from ICSE’23 Artifact Evaluation for our paper “AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities” Contracts”!  
 