https://solayer.org/Restaking protocol on solana

Founding eng and architect.Building the next gen of crypto wallet with access control

Design, implement, maintain, and scale the tier-1 AWS service. Grow with the team.https://docs.aws.amazon.com/AWSEC2/latest/UserGuide/EBSSnapshots.html

Built a MVP with team based on Ethereum smart contract to automatically register property trading information, preventing the possibility of information tampering by corrupted internals

https://www.eds.net.cn/We were building a sales lead trading platform based on blockchain. Sale lead is treated as NFT and marked with unique price.

Lab: https://www.crystal.comp.nus.edu.sg/Advisor: Dr. Prateek SaxenaDeveloped a python monitor to gain visibility of KLEE symbolic execution engine. Dived deeper into the bottleneck of KLEE, categorized the issues and applied deep learning to help proceed the symbolic execution. See our paper at NDSS'19 - http://people.eecs.berkeley.edu/~shwetas/publications/neuex_ndss19.pdf

• Ether Transfer Analyzer: A system based on Python and Golang to differentiate Ethereum smart contract-based deposit by analyzing EVM stack and extract bytes of interest, reducing the deposit processing time of the crypto exchange from 30 days to less than 5 minutes.• EtherFuzz: An internal targeted fuzzing test framework with the team to automatically find vulnerabilities in ERC20 smart contracts based on truffle and Echidna. We found 5 bugs in 230 smart contracts which held over $1M assets.

Lab: http://grid.hust.edu.cn/Advisor: Dr. Weiqi Dai and Dr. Hai jin, Dr. Weiming Li(1) SDTE — A Secure Blockchain-based Data Trading Ecosystem• Designed and implemented a blockchain-based data trading ecosystem with Intel SGX where data broker and buyer are not able to obtain access to the seller's raw data. • Our paper is accepted by IEEE Transactions on Information Forensics and Security. See our paper: https://ieeexplore.ieee.org/document/8759960.(2) SBLWT — A Secure Blockchain Lightweight Wallet Based on Trustzone• Designed a secure cryptocurrency wallet which supports secure and efficient Simplified Payment Verification based on Trustzone. • See our paper: https://ieeexplore.ieee.org/abstract/document/8412192.(3) A User-friendly Dynamic Malware Analysis System • Built a memory-efficient malware dynamical analysis system with Python to capture QEMU memory and analyze the memory with Volatility framework.• The project was one of the first prize projects in 2017 China National College Students Information Security Contest: http://www.xdef.org.cn/2018/show_2017.html

Participated in the design of a Byzantine Fault Tolerance-based consensus protocol designated for a public blockchain supporting 2000+ TPS. Developed the consensus and blockchain data structure with the team.