2 papers
cs.SE2025
SIEVE: Towards Verifiable Certification for Code-datasets
Fatou Ndiaye Mbodji, El-hacen Diallo, Jordan Samhi +3
Code agents and empirical software engineering rely on public code datasets, yet these datasets lack verifiable quality guarantees. Static 'dataset cards' inform, but they are neit…
cs.SE2025
ContractTrace: Retracing Smart Contract Versions for Security Analyses
Fatou Ndiaye Mbodji, Vinny Adjibi, Moustapha Awwalou Diouf +4
Due to the inherent immutability of blockchain technology, smart contract updates require their deployment at new addresses rather than modifying existing ones, thus fragmenting ve…