Sok: Decentralized exchanges (dex) with automated market maker (amm) protocols

J Xu, K Paruch, S Cousaert, Y Feng - ACM Computing Surveys, 2023 - dl.acm.org
As an integral part of the decentralized finance (DeFi) ecosystem, decentralized exchanges
(DEXs) with automated market maker (AMM) protocols have gained massive traction with …

Ethereum smart contract analysis tools: A systematic review

SS Kushwaha, S Joshi, D Singh, M Kaur, HN Lee - Ieee Access, 2022 - ieeexplore.ieee.org
Blockchain technology and its applications are gaining popularity day by day. It is a ground-
breaking technology that allows users to communicate without the need of a trusted …

The roadmap to 6G security and privacy

P Porambage, G Gür, DPM Osorio… - IEEE Open Journal …, 2021 - ieeexplore.ieee.org
Although the fifth generation (5G) wireless networks are yet to be fully investigated, the
visionaries of the 6th generation (6G) echo systems have already come into the discussion …

Survey on blockchain-based smart contracts: Technical aspects and future research

TM Hewa, Y Hu, M Liyanage, SS Kanhare… - IEEE …, 2021 - ieeexplore.ieee.org
The industrial and computing research context revolutionized in various directions during
the last decades. The blockchain-based smart contract embraced as a significant research …

The blockchain imitation game

K Qin, S Chaliasos, L Zhou, B Livshits, D Song… - 32nd USENIX Security …, 2023 - usenix.org
The use of blockchains for automated and adversarial trading has become commonplace.
However, due to the transparent nature of blockchains, an adversary is able to observe any …

Security threat mitigation for smart contracts: A comprehensive survey

N Ivanov, C Li, Q Yan, Z Sun, Z Cao, X Luo - ACM Computing Surveys, 2023 - dl.acm.org
The blockchain technology, initially created for cryptocurrency, has been re-purposed for
recording state transitions of smart contracts—decentralized applications that can be …

{EVMPatch}: Timely and automated patching of ethereum smart contracts

M Rodler, W Li, GO Karame, L Davi - 30th usenix security symposium …, 2021 - usenix.org
Recent attacks exploiting errors in smart contract code had devastating consequences
thereby questioning the benefits of this technology. It is currently highly challenging to fix …

A survey on smart contract vulnerabilities: Data sources, detection and repair

H Chu, P Zhang, H Dong, Y **ao, S Ji, W Li - Information and Software …, 2023 - Elsevier
Smart contracts contain many built-in security features, such as non-immutability once being
deployed and non-involvement of third parties for contract execution. These features reduce …

VRust: Automated vulnerability detection for solana smart contracts

S Cui, G Zhao, Y Gao, T Tavu, J Huang - Proceedings of the 2022 ACM …, 2022 - dl.acm.org
Solana is a rapidly-growing high-performance blockchain powered by a Proof of History
(PoH) consensus mechanism and a novel stateless programming model that decouples …

The living review on automated program repair

M Monperrus - 2018 - hal.science
Concept This paper is a living review on automatic program repair 1. Compared to a
traditional survey, a living review evolves over time. I use a concise bullet-list style meant to …