Thunderbolt: A Formally Verified Protocol for Off-Chain Bitcoin Transfers.
IACR Cryptol. ePrint Arch., 2025
TestAnaAPP: An interactive R-shiny application for various test analysis methods.
SoftwareX, 2024
Modular Indexer: Fully User-Verified Execution Layer for Meta-Protocols on Bitcoin.
IACR Cryptol. ePrint Arch., 2024
Push-Button Verification for BitVM Implementations.
,
,
,
,
,
,
,
,
,
,
IACR Cryptol. ePrint Arch., 2024
Scutum: Temporal Verification for Cross-Rollup Bridges via Goal-Driven Reduction.
IACR Cryptol. ePrint Arch., 2024
FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols.
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024
Practical Security Analysis of Zero-Knowledge Proof Circuits.
IACR Cryptol. ePrint Arch., 2023
A CNN Model with Discretized Mobile Features for Depression Detection.
Proceedings of the IEEE-EMBS International Conference on Wearable and Implantable Body Sensor Networks, 2022
The Relationship between Teachers' Misbehavior and Students' Scientific Literacy: the Mediation Effect of Students' Scientific Interest.
Proceedings of the ICFET 2020, 2020