2025

DITING: A Static Analyzer for Identifying Bad Partitioning Issues in TEE Applications.

[DOI]

,

,

,

,

,

,

,

,

CoRR, February, 2025

Towards Secure Program Partitioning for Smart Contracts with LLM's In-Context Learning.

[DOI]

,

,

,

,

,

,

,

CoRR, February, 2025

AutoTEE: Automated Migration and Protection of Programs in Trusted Execution Environments.

[DOI]

,

,

,

,

,

,

,

CoRR, February, 2025

Smart Contract Fuzzing Towards Profitable Vulnerabilities.

[DOI]

,

,

,

,

,

,

,

CoRR, January, 2025

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation.

[DOI]

,

,

,

,

,

,

Proceedings of the 32nd Annual Network and Distributed System Security Symposium, 2025

2024

Demystifying Invariant Effectiveness for Securing Smart Contracts.

[DOI]

,

,

Sidi Mohamed Beillahi

,

,

Proc. ACM Softw. Eng., 2024

Demystifying the Characteristics for Smart Contract Upgrades.

[DOI]

,

,

,

,

,

CoRR, 2024

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction.

[DOI]

,

,

,

CoRR, 2024

Automated Invariant Generation for Solidity Smart Contracts.

[DOI]

,

Chengxuan Zhang

,

CoRR, 2024

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond.

[DOI]

,

,

Sidi Mohamed Beillahi

,

,

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications.

[DOI]

,

,

,

,

,

,

,

,

,

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

On security and reliability of smart contracts: the applications of dynamic specification mining on solidity

[DOI]

PhD thesis, 2023

A Comprehensive Study of Governance Issues in Decentralized Finance Applications.

[DOI]

,

,

,

,

CoRR, 2023

2022

Oracle-Supported Dynamic Exploit Generation for Smart Contracts.

[DOI]

,

,

,

,

,

,

IEEE Trans. Dependable Secur. Comput., 2022

SolSEE: a source-level symbolic execution engine for solidity.

[DOI]

,

,

,

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts.

[DOI]

,

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

A Unified Specification Mining Framework for Smart Contracts.

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Identifying Solidity Smart Contract API Documentation Errors.

[DOI]

,

,

,

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Finding permission bugs in smart contracts with role mining.

[DOI]

,

,

,

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2020

ModCon: a model-based testing platform for smart contracts.

[DOI]

,

,

,

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Towards automated verification of smart contract fairness.

[DOI]

,

,

,

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020