Formal Analysis of Composable DeFi Protocols
Palina Tolmach, Yi Li, Shang‐Wei Lin, Yang Liu
Topics & Concepts
Computer scienceProcess (computing)Process calculusFormal verificationFormal methodsProperty (philosophy)Cryptographic protocolRange (aeronautics)Software engineeringComputer securityDistributed computingCryptographyTheoretical computer scienceProgramming languageComposite materialPhilosophyMaterials scienceEpistemologyBlockchain Technology Applications and SecuritySecurity and Verification in ComputingDistributed systems and fault tolerance