Fetching the paper…
Reading the bibliography…
In this paper, we investigate two methods that allow us to automatically create profitable DeFi trades, one well-suited to arbitrage and the other applicable to more complicated settings.
On a routing problem
Richard Bellman · 1958
Earlier work this paper cites.
The shortest path through a maze
Edward F Moore · 1959
Earlier work this paper cites.
Algorithms for network programming
Jeff L Kennington and Richard V Helgason · 1980
Earlier work this paper cites.
Shortest path algorithms using dynamic breadth-first search
Donald Goldfarb, Jianxiu Hao, and Sheng-Roan Kai · 1991
Earlier work this paper cites.
A heuristic improvement of the bellman-ford algorithm
Andrew Goldberg and Tomasz Radzik · 1993
Earlier work this paper cites.
Scaling algorithms for the shortest paths problem
Andrew V Goldberg · 1995
Earlier work this paper cites.
Negative-cycle detection algorithms
Boris V Cherkassky and Andrew V Goldberg · 1999
Earlier work this paper cites.
Adaptive negative cycle detection in dynamic graphs
Nitin Chandrachoodan, Shuvra S Bhattacharyya, and KJ Ray Liu · 2001
Earlier work this paper cites.
Principles of model checking
Christel Baier and Joost-Pieter Katoen · 2008
Earlier work this paper cites.
The mathsat 4 smt solver
Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, and Roberto Sebastiani · 2008
Earlier work this paper cites.
Z3: An efficient smt solver
Leonardo De Moura and Nikolaj Bjørner · 2008
Earlier work this paper cites.
Coral: solving complex constraints for symbolic pathfinder
Matheus Souza, Mateus Borges, Marcelo d’Amorim, and Corina S Păsăreanu · 2011
Earlier work this paper cites.
Information propagation in the bitcoin network
Christian Decker and Roger Wattenhofer · 2013
Earlier work this paper cites.
Sok: Research perspectives and challenges for bitcoin and cryptocurrencies
Joseph Bonneau, Andrew Miller, Jeremy Clark, Arvind Narayanan, Joshua A Kroll, and Edward W Felten · 2015
Earlier work this paper cites.
Flows in networks
Lester Randolph Ford Jr and Delbert Ray Fulkerson · 2015
Earlier work this paper cites.
Tampering with the delivery of blocks and transactions in bitcoin
Arthur Gervais, Hubert Ritzdorf, Ghassan O Karame, and Srdjan Capkun · 2015
Earlier work this paper cites.
An empirical study of namecoin and lessons for decentralized namespace design
Harry A Kalodner, Miles Carlsten, Paul Ellenbogen, Joseph Bonneau, and Arvind Narayanan · 2015
Earlier work this paper cites.
On the security and performance of proof of work blockchains
Arthur Gervais, Ghassan O Karame, Karl Wüst, Vasileios Glykantzis, Hubert Ritzdorf, and Srdjan Capkun · 2016
Cited alongside, same era.
Cryptofinance
Campbell R Harvey · 2016
Cited alongside, same era.
Making smart contracts smarter
Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, and Aquinas Hobor · 2016
Cited alongside, same era.
A survey of attacks on ethereum smart contracts (sok)
Nicola Atzei, Massimo Bartoletti, and Tiziana Cimoli · 2017
Cited alongside, same era.
Directed greybox fuzzing
Marcel Böhme, Van-Thuan Pham, Manh-Dung Nguyen, and Abhik Roychoudhury · 2017
Cited alongside, same era.
Bancor protocol
Eyal Hertzog, Guy Benartzi, and Galia Benartzi · 2017
Cited alongside, same era.
Compound finance, 2019
Compound Finance · 2019
Later among the works it cites.
Makerdao
The Maker Foundation · 2019
Later among the works it cites.
Learning to fuzz from symbolic execution with application to smart contracts
Jingxuan He, Mislav Balunović, Nodar Ambroladze, Petar Tsankov, and Martin Vechev · 2019
Later among the works it cites.
What is stablecoin?: A survey on price stabilization mechanisms for decentralized payment systems
Makiko Mita, Kensuke Ito, Shohei Ohsawa, and Hideyuki Tanaka · 2019
Later among the works it cites.
The DeFi Leaderboard
DeFi Pulse · 2019
Later among the works it cites.
accessed 12 November, 2019, https://docs.uniswap.io/
Uniswap.io, 2018 · 2019
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Lexi Brent, Anton Jurisevic, Michael Kong, Eric Liu, Francois Gauthier, Vincent Gramoli, Ralph Holz, and Bernhard Scholz · 2018
Cited alongside, same era.
Madmax: Surviving out-of-gas conditions in ethereum smart contracts
Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, and Yannis Smaragdakis · 2018
Cited alongside, same era.
Contractfuzzer: Fuzzing smart contracts for vulnerability detection
Bo Jiang, Ye Liu, and WK Chan · 2018
Cited alongside, same era.
Zeus: Analyzing safety of smart contracts
Sukrit Kalra, Seep Goel, Mohan Dhawan, and Subodh Sharma · 2018
Cited alongside, same era.
Smartcheck: Static analysis of ethereum smart contracts
Sergei Tikhomirov, Ekaterina Voskresenskaya, Ivan Ivanitskiy, Ramil Takhaviev, Evgeny Marchenko, and Yaroslav Alexandrov · 2018
Cited alongside, same era.
Securify: Practical security analysis of smart contracts
Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Buenzli, and Martin Vechev · 2018
Cited alongside, same era.
The anatomy of a cryptocurrency pump-and-dump scheme
Jiahua Xu and Benjamin Livshits · 2019
Later among the works it cites.
Bzx network, 2020
2020
Later among the works it cites.
Aave Protocol
Aave · 2020
Later among the works it cites.
Bid and ask definition, Sep 2020
James Chen · 2020
Later among the works it cites.
Echidna: Ethereum fuzz testing framework, February 2020
Crytic · 2020
Later among the works it cites.
The decentralized financial crisis: Attacking defi, 2020
Lewis Gudgeon, Daniel Perez, Dominik Harz, Arthur Gervais, and Benjamin Livshits · 2020
Later among the works it cites.
Amr: Autonomous coin mixer with privacy preserving reward distribution
Duc V Le and Arthur Gervais · 2020
Later among the works it cites.
Sok: A classification framework for stablecoin designs
Amani Moin, Kevin Sekniqi, and Emin Gun Sirer · 2020
Later among the works it cites.
Attacking the defi ecosystem with flash loans for fun and profit
Kaihua Qin, Liyi Zhou, Benjamin Livshits, and Arthur Gervais · 2021
Closest in time.
High-frequency trading on decentralized on-chain exchanges
Liyi Zhou, Kaihua Qin, Christof Ferreira Torres, Duc V Le, and Arthur Gervais · 2021
Closest in time.