Panda: Security Analysis of Algorand Smart Contracts

Zhiyuan Sun, Xiapu Luo, Yinqian Zhang. Panda: Security Analysis of Algorand Smart Contracts. In Joseph A. Calandrino, Carmela Troncoso, editors, 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023. pages 1811-1828, USENIX Association, 2023. [doi]

Abstract

Abstract is missing.