Sok: Decentralized exchanges (dex) with automated market maker (amm) protocols
As an integral part of the decentralized finance (DeFi) ecosystem, decentralized exchanges
(DEXs) with automated market maker (AMM) protocols have gained massive traction with …
(DEXs) with automated market maker (AMM) protocols have gained massive traction with …
Ethereum smart contract analysis tools: A systematic review
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 …
breaking technology that allows users to communicate without the need of a trusted …
The roadmap to 6G security and privacy
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 …
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
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 last decades. The blockchain-based smart contract embraced as a significant research …
The blockchain imitation game
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 …
However, due to the transparent nature of blockchains, an adversary is able to observe any …
Security threat mitigation for smart contracts: A comprehensive survey
The blockchain technology, initially created for cryptocurrency, has been re-purposed for
recording state transitions of smart contracts—decentralized applications that can be …
recording state transitions of smart contracts—decentralized applications that can be …
{EVMPatch}: Timely and automated patching of ethereum smart contracts
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 …
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
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 …
deployed and non-involvement of third parties for contract execution. These features reduce …
VRust: Automated vulnerability detection for solana smart contracts
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 …
(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 …
traditional survey, a living review evolves over time. I use a concise bullet-list style meant to …