Han Liu (刘浛)
I am a senior research scientist at The Blockhouse Technology Limited and University College Oxford Blockchain Research Centre, leading the blockchain team. Before that, I was a postdoctoral researcher
at Tsinghua University, working with Professor
Jiaguang Sun.
I obtained my Ph.D. at Tsinghua University in 2017 under the supervision of
Professor Ming Gu.
During my academic visit at UC Davis in 2015, I worked with Professor Zhendong Su. My research interests include:
- Blockchain, smart contracts, cryptocurrency, digital identity
- Trustless technology, decentralized protocols and systems
- Formal methods, regulatory technology in the context of finance
- Software engineering, system security, programming languages
-
DCC Network [Ongoing]: A blockchain with programmable trust
- New programming model to extend consensus with customized and trustless computations.
- Applied in multiple use cases, e.g., Stablecoin, Culture Metaverse, Healthcare, Banking etc.
- Related publications: ICDCS '21a/'21b, ACSAC '22
-
Committable [Ongoing]: A decentralized open-source protocol for Web3
-
Seraph [Ongoing]: Cross-platform security verifier for blockchain smart contracts
-
DATE-ConFu [Finished]: A dynamic analyzer for JVM applications
- NASAC '17 (2nd Prize in Software Prototype Contest)
-
Closure* [Finished]: An optimized obfuscator for JavaScript
-
Tsmart-Edola [Finished]: Formal modeling platform for embedded systems
- TMI: Tokenomics Made Easy For Web3 Applications..
Han Liu, Xufei Wang, Bin Wang, Huixuan Zheng, Xuchao Liu.
In Proceedings of MODELS 2022, Canada, 2022.
- Committable: A Decentralised and Trustless Open-Source Protocol..
Han Liu, Huafeng Zhang, Bangdao Chen, A.W. Roscoe.
In Proceedings of ICBC 2022, Virtual, 2022.
- Cloak: Transitioning States on Legacy Blockchains Using Secure and Publicly Verifiable Off-Chain Multi-Party Computation..
Qian Ren, Yingjun Wu, Han Liu, Yue Li, Anne Victor, Hong Lei, Lei Wang, Bangdao Chen.
In Proceedings of ACSAC 2022, USA, 2022.
- CLOAK: A Framework For Development of Confidential Blockchain Smart Contracts..
Qian Ren, Han Liu, Yue Li, Hong Lei.
In Proceedings of ICDCS 2021, Virtual, 2021.
- FastBlock: Accelerating Blockchains via Hardware Transactional Memory.
Yue Li, Han Liu, Yuanliang Chen, Jianbo Gao, Zhenhao Wu, Zhi Guan, Zhong Chen.
In Proceedings of ICDCS 2021, Virtual, 2021.
- BlockEye: Hunting For DeFi Attacks on Blockchain.
Bin Wang, Han Liu, Chao Liu, Zhiqiang Yang, Qian Ren, Huixuan Zheng, Hong Lei.
In Proceedings of ICSE 2021 Demonstration Track, Virtual, 2021.
- Protect Your Smart Contract Against Unfair Payment.
Yue Li, Han Liu, Zhiqiang Yang, Bin Wang, Qian Ren, Lei Wang, Bangdao Chen.
In Proceedings of SRDS 2020, China, 2020.
- SafePay on Ethereum: A Framework For Detecting Unfair Payments in Smart Contracts.
Yue Li, Han Liu, Zhiqiang Yang, Qian Ren, Lei Wang, Bangdao Chen.
In Proceedings of ICDCS 2020 Demonstration Track, Singapore, 2020.
Best Demo Paper Award
- Seraph: Enabling Cross-Platform Security Analysis For EVM and WASM Smart Contracts.
Zhiqiang Yang, Han Liu, Yue Li, Huixuan Zheng, Lei Wang, Bangdao Chen.
In Proceedings of ICSE 2020 Demonstration Track, Korea, 2020.
- Enabling Clone Detection For Ethereum via Smart Contract Birthmarks.
Han Liu, Zhiqiang Yang, Yu Jiang, Wenqi Zhao, Jiaguang Sun.
In Proceedings of ICPC 2019, Canada, 2019.
- Towards Automated Testing of Blockchain-based Decentralized Applications.
Jianbo Gao, Han Liu, Yue Li, Chao Liu, Zhiqiang Yang, Qingshan Li, Zhiguan, Zhong Chen.
In Proceedings of ICPC 2019, Canada, 2019.
- EASYFLOW: Keep Ethereum Away From Overflow.
Jianbo Gao, Han Liu, Chao Liu, Qingshan Li, Zhiguan, Zhong Chen.
In Proceedings of ICSE 2019 Demonstration Track, Canada, 2019.
- EClone: Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch.
Han Liu, Zhiqiang Yang, Chao Liu, Yu Jiang, Wenqi Zhao, Jiaguang Sun.
In Proceedings of ESEC/FSE 2018 Demonstration Track, USA, 2018.
- S-gram: Towards Semantic-Aware Security Auditing For Ethereum Smart Contracts .
Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, Jiaguang Sun.
In Proceedings of ASE 2018, France, 2018.
- ReGuard: Finding Reentrancy Bugs in Smart Contracts.
Chao Liu, Han Liu*, Zhao Cao, Zhong Chen, Bangdao Chen and Bill Roscoe.
In Proceedings of ICSE 2018 Demonstration Track, Sweden, 2018.
(*Equal contribution)
- SAFL: Increasing and Accelerating Testing Coverage with Symbolic Execution and Guided Fuzzing.
Mingzhe Wang, Jie Liang, Yuanliang Chen, Yu Jiang, Xun Jiao, Han Liu, Xi Bin Zhao and Jiaguang Sun.
In Proceedings of ICSE 2018 Demonstration Track, Sweden, 2018.
- Jbench: a dataset of data races for concurrency testing.
Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying and Xian Zhang.
In Proceedings of MSR 2018, Sweden, 2018.
- Managing concurrent testing of data race with ComRaDe.
Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Wanting Sun and Ming Gu.
In Proceedings of ISSTA 2018, Netherland, 2018.
- Safety-Assured Model-Driven Desing of the Multifunction Vehicle Bus Controller.
Yu Jiang, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun and Lui Sha.
IEEE Transactions on Intelligent Transportation Systems (T-ITS), 2018.
- Stochastic Optimization of Program Obfuscation.
Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu and Jiaguang Sun.
In Proceedings of ICSE 2017, Argentina, 2017.
- Dependable Model Driven Development of CPS: From Stateflow Simulation to Verified Implementation.
Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Yong Guan, Jiaguang Sun and Lui Sha.
ACM Transactions on Cyber-Physical Systems (TCPS), To appear, 2017.
- Taming Interrupts For Verifying Industrial Multifunction Vehicle Bus Controllers.
Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu and Jiaguang Sun.
In Proceedings of FM 2016, Cyprus, 2016.
- Safety-Assured Formal Model-Driven Desing of the Multifunction Vehicle Bus Controller.
Yu Jiang, Han Liu, Hui Kong, Houbing Song, Ming Gu, Jiaguang Sun and Lui Sha.
In Proceedings of FM 2016, Cyprus, 2016.
- Tsmart-BIPEX: An integrated Graphical Design Toolkit for Software System.
Huafeng Zhang, Yu Jiang, Han Liu, Ming Gu and Jiaguang Sun.
In Proceedings of MODELS 2016, France, 2016.
- Model Driven Design of Heterogeneous Synchronous Embedded Systems.
Huafeng Zhang, Yu Jiang, Han Liu, Hehua Zhang, Ming Gu and Jiaguang Sun.
In Proceedings of ASE 2016, Singapore, 2016.
- Towards Better Program Obfuscation: Optimization via Language Models (Student Research Competition).
Han Liu.
In Proceedings of ICSE 2016, USA, 2016.
- Use Runtime Verification to Improve the Quality of Medical Care Practice.
Yu Jiang, Han Liu, Rui Wang, Mohammad Hosseini, Jiaguang Sun and Lui Sha.
In Proceedings of ICSE 2016, USA, 2016.
- From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design.
Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jiaguang Sun and Lui Sha.
In Proceedings of RTAS 2016, Austria, 2016.
- Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks.
Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, Ming Gu and Jiaguang Sun.
In IEEE Transactions on Parallel and Distributed Systems, pp. 2220-2232, 2015.
- Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems.
Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu and Jiaguang Sun.
In Proceedings of FSE 2014, China, 2014.
- iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems.
Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu and Jiaguang Sun.
In Proceedings of TASE 2014, China, 2014.
- Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis.
Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu and Jiaguang Sun.
In Proceedings of TASE 2014, China, 2014.
- System reliability calculation based on the run-time analysis of ladder program.
Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N.N.Hung, Ming Gu and Jiaguang Sun.
In Proceedings of ESEC/FSE 2013, Russia, 2013.
- ConFu: Stochastic Optimization on Concurrency Fuzzing via Symbolic Trace Analysis .
Han Liu, Zhiqiang Yang, Ying Fu, Yue Zhao, Jian Gao, Yu Jiang and Jiaguang Sun.
Technical Report (email for access), 2018.
- Reviewer of IEEE's Transactions on Software Engineering
- Reviewer of IEEE's Transactions on Industrial Informatics
- PC member of BIOTC 2020
- PC member of ASE Demo 2019
- PC member of BlockSys 2019, 2020
- Sub-reviewer of NDSS 2019
- Sub-reviewer of FSE 2016 Artifact
- Teaching Assistant：Domain Specific Languages, 2014/2015/2016.
- Teaching Assistant：Modeling and Verification of Software Systems, 2015.
- Teaching Assistant：C programming, 2013.
- PI, Dynamic Analysis Techniques For Concurrent Software (2019-2021, National Natural Science Foundation of China)
- PI, Automated Bug Detection For Concurrent Software (2017-2019, China Postdoctoral Foundation)
- First place at 2021 Rebase/Ethereum Hackathon, 2021
- ICDCS 2020 Best Demo Paper, 2020
- Ethereum Foundation Scholarship for Devcon4, 2018
- 2nd Prize in NASAC Software Prototype Contest (Bug Detection and Repair Track), 2017
- From 1995 to 2002, I had a 6-year unforgettable experience as a teenager table tennis player in Nanjing.
- A sentence I like: Good Times, Hard Times, Never Bad Times. (From a loveletter of Steve Jobs)
Last update: November 8, 2021
