معرفی
Dr. Han Liu is a faculty member at the University of California, Santa Barbara, affiliated with the Department of Statistics and Applied Probability. Their research focuses on blockchain technology, formal verification, and cryptographic protocols for decentralized systems.
Recent work includes advancements in zero-knowledge proofs, Bitcoin meta-protocols, and security verification for DeFi and cross-rollup bridges. Notable publications from 2024-2025 address verifiable execution layers and attack synthesis in decentralized finance.
Dr. Liu's interests span
- Blockchain and Cryptocurrency
- Formal Verification of Protocols
- Smart Contract Security
- Decentralized Systems
- Cybersecurity
- Mathematical Modeling
۰مقاله منتشرشده
