Deng, Xun; Beillahi, Sidi Mohamed; Minwalla, Cyrus; Du, Han - 2024
constructs a model of constraints. Then, the framework leverages a satisfiability modulo theory solver to identify parameters … detrimental to protect the DeFi protocols against the oracle deviation in the real world. Moreover, this paper delves into the …