Panda: Security Analysis of Algorand Smart Contracts.
Zhiyuan SunXiapu LuoYinqian ZhangPublished in: USENIX Security Symposium (2023)
Keyphrases
- security analysis
- public key
- high security
- smart card
- security requirements
- image encryption
- encryption scheme
- security model
- user authentication
- security properties
- mutual authentication
- data mining
- encryption algorithm
- private key
- authentication protocol
- authentication scheme
- access control policies
- distributed environment
- peer to peer