Showing 1–11 of 11 results
/ Date/ Name
Jun 17, 2021ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized ApplicationsDec 23, 2022Combatting Front-Running in Smart Contracts: Attack Mining, Benchmark Construction and Vulnerability Detector EvaluationMar 25, 2024Concerned with Data Contamination? Assessing Countermeasures in Code Language ModelAug 24, 2021Characterizing Transaction-Reverting Statements in Ethereum Smart ContractsDec 6, 2021Finding Deviated Behaviors of the Compressed DNN Models for Image ClassificationsFeb 16, 2024LLMDFA: Analyzing Dataflow in Code with Large Language ModelsJul 8, 2024Towards Understanding the Bugs in Solidity CompilerDec 18, 2024NESA: Relational Neuro-Symbolic Static Program AnalysisNov 24, 2021WFDefProxy: Modularly Implementing and Empirically Evaluating Website Fingerprinting DefensesNov 16, 2024CODECLEANER: Elevating Standards with A Robust Data Contamination Mitigation ToolkitOct 24, 2025LLM-Powered Detection of Price Manipulation in DeFi