Achjian, Ryan, AND Simplicio Junior, Marcos. " Building a Labeled Smart Contract Dataset for Evaluating Vulnerability Detection Tools’ Effectiveness" Companion Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg) [Online], (1 September 2025)