An operational model of DeFi lending protocols with proved invariants, strategic front-running theorems, and formalized price and utilization manipulation attacks.
SecPLF : Secure protocols for loanable funds against oracle manipulation attacks
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.GT 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
A theory of Lending Protocols in DeFi
An operational model of DeFi lending protocols with proved invariants, strategic front-running theorems, and formalized price and utilization manipulation attacks.