default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHan Liu 0010
Person information
- unicode name: 刘浛
- affiliation: Oxford-Hainan Blockchain Research Institute, Haikou, China
- affiliation (PhD 2017): Tsinghua University, School of Software, Key Laboratory for Information System Security, Beijing, China
- affiliation (former): Beijing University of Posts and Telecommunications, School of Software Engineering, Beijing, China
Other persons with the same name
- Han Liu — disambiguation page
- Han Liu 0001
![[0000-0002-2470-1755]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-2470-1755")
— Northwestern University, Evanston, IL, USA (and 4 more) - Han Liu 0002 — Shenzhen University, Guangdong, China (and 2 more)
- Han Liu 0003 — King Abdullah University of Science and Technology, Thuwal, Saudi Arabia
- Han Liu 0004 — Harbin Institute of Technology, School of Transportation Science and Engineering, China
- Han Liu 0005 — Sun Yat-Sen University, School of Geography and Planning, Guangdong Provincial Key Laboratory of Urbanization and Geo-Simulation, Guangzhou, China
- Han Liu 0006 — Southeast University, School of Electrical Engineering, Nanjing, China (and 1 more)
- Han Liu 0007 — Xi'an University of Technology, Faculty of Automation and Information Engineering, Xi'an, China (and 1 more)
- Han Liu 0008 — Dalian University of Technology, School of Software, Dalian, China (and 1 more)
- Han Liu 0009 — Shanghai Maritime University, College of Information Engineering, Shanghai, China
- Han Liu 0011 — Advanced Micro Devices (AMD) Inc., Beijing, China
- Han Liu 0012 — Hong Kong University of Science and Technology, Hong Kong (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j8]Yue Li, Han Liu, Jianbo Gao, Jiashuo Zhang, Zhi Guan, Zhong Chen:
Accelerating block lifecycle on blockchain via hardware transactional memory. J. Parallel Distributed Comput. 184: 104779 (2024)- 2023
- [j7]Han Liu, Xiaoyu Song, Ge Gao, Hehua Zhang, Yu-Shen Liu, Ming Gu:
Modeling and validating temporal rules with semantic Petri net for digital twins. Adv. Eng. Informatics 57: 102099 (2023) - [j6]Han Liu, Ge Gao, Hehua Zhang, Yu-Shen Liu, Yan Song, Ming Gu:
MVDLite: A fast validation algorithm for Model View Definition rules. Adv. Eng. Informatics 58: 102132 (2023) - [i10]Han Liu, Ge Gao, Ming Gu:
A Parallel IFC Normalization Algorithm for Incremental Storage and Version Control. CoRR abs/2312.14931 (2023) - 2022
- [j5]Qinghao Wang, Yongxin Zhang, Zijian Bao, Wenbo Shi, Hong Lei, Han Liu, Bangdao Chen:
SorTEE: Service-Oriented Routing for Payment Channel Networks With Scalability and Privacy Protection. IEEE Trans. Netw. Serv. Manag. 19(4): 3764-3780 (2022) - [c34]Qian Ren, Yingjun Wu, Han Liu, Yue Li, Anne Victor, Hong Lei, Lei Wang, Bangdao Chen:
Cloak: Transitioning States on Legacy Blockchains Using Secure and Publicly Verifiable Off-Chain Multi-Party Computation. ACSAC 2022: 117-131 - [c33]Han Liu, Huafeng Zhang, Bangdao Chen, A. W. Roscoe:
Committable: A Decentralised and Trustless Open-Source Protocol. ICBC 2022: 1-2 - [c32]Han Liu, Xufei Wang, Bin Wang, Huixuan Zheng, Xuchao Liu:
TMI: tokenomics made easy for web3 applications. MoDELS (Companion) 2022: 71-76 - [i9]Qian Ren, Yingjun Wu, Yue Li, Han Liu, Hong Lei, Lei Wang, Bangdao Chen:
TENET: Towards Self-sovereign and Fair Multi-party Computation Ecology Empowered by Decentralized TEE Network. CoRR abs/2202.10206 (2022) - [i8]Han Liu, Xiaoyu Song, Ge Gao, Hehua Zhang, Yu-Shen Liu, Ming Gu:
Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins. CoRR abs/2203.04741 (2022) - 2021
- [c31]Yue Li, Han Liu, Yuanliang Chen, Jianbo Gao, Zhenhao Wu, Zhi Guan, Zhong Chen:
FASTBLOCK: Accelerating Blockchains via Hardware Transactional Memory. ICDCS 2021: 250-260 - [c30]Qian Ren, Han Liu, Yue Li, Hong Lei:
Demo: Cloak: A Framework For Development of Confidential Blockchain Smart Contracts. ICDCS 2021: 1102-1105 - [c29]Bin Wang, Han Liu, Chao Liu, Zhiqiang Yang, Qian Ren, Huixuan Zheng, Hong Lei:
BLOCKEYE: Hunting for DeFi Attacks on Blockchain. ICSE (Companion Volume) 2021: 17-20 - [i7]Bin Wang, Han Liu, Chao Liu, Zhiqiang Yang, Qian Ren, Huixuan Zheng, Hong Lei:
BLOCKEYE: Hunting For DeFi Attacks on Blockchain. CoRR abs/2103.02873 (2021) - [i6]Qian Ren, Han Liu, Yue Li, Hong Lei:
CLOAK: A Framework For Development of Confidential Blockchain Smart Contracts. CoRR abs/2106.13460 (2021) - [i5]Qian Ren, Han Liu, Yue Li, Hong Lei, Lei Wang, Bangdao Chen:
CLOAK: Towards Practical Development and Deployment of Confidential Smart Contracts. CoRR abs/2106.13926 (2021) - [i4]Han Liu, Pedro Antonino, Zhiqiang Yang, Chao Liu, A. W. Roscoe:
Trusted And Confidential Program Analysis. CoRR abs/2112.00346 (2021) - 2020
- [c28]Yue Li, Han Liu, Zhiqiang Yang, Qian Ren, Lei Wang, Bangdao Chen:
SafePay on Ethereum: A Framework For Detecting Unfair Payments in Smart Contracts. ICDCS 2020: 1219-1222 - [c27]Zhiqiang Yang, Han Liu, Yue Li, Huixuan Zheng, Lei Wang, Bangdao Chen:
Seraph: enabling cross-platform security analysis for EVM and WASM smart contracts. ICSE (Companion Volume) 2020: 21-24 - [c26]Yue Li, Han Liu, Zhiqiang Yang, Bin Wang, Qian Ren, Lei Wang, Bangdao Chen:
Protect Your Smart Contract Against Unfair Payment. SRDS 2020: 61-70
2010 – 2019
- 2019
- [j4]Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Yong Guan, Jiaguang Sun, Lui Sha:
Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. ACM Trans. Cyber Phys. Syst. 3(1): 12:1-12:31 (2019) - [c25]Jianbo Gao, Han Liu, Chao Liu, Qingshan Li, Zhi Guan, Zhong Chen:
EasyFlow: keep ethereum away from overflow. ICSE (Companion Volume) 2019: 23-26 - [c24]Han Liu, Zhiqiang Yang, Yu Jiang, Wenqi Zhao, Jiaguang Sun:
Enabling clone detection for ethereum via smart contract birthmarks. ICPC 2019: 105-115 - [c23]Jianbo Gao, Han Liu, Yue Li, Chao Liu, Zhiqiang Yang, Qingshan Li, Zhi Guan, Zhong Chen:
Towards automated testing of blockchain-based decentralized applications. ICPC 2019: 294-299 - [c22]Han Liu, Zhizhong Han, Yu-Shen Liu, Ming Gu:
Fast Low-rank Metric Learning for Large-scale and High-dimensional Data. NeurIPS 2019: 817-827 - [i3]Han Liu, Zhizhong Han, Yu-Shen Liu, Ming Gu:
Fast Low-rank Metric Learning for Large-scale and High-dimensional Data. CoRR abs/1909.06297 (2019) - [i2]Han Liu, Ge Gao, Hehua Zhang, Yu-Shen Liu, Yan Song, Ming Gu:
MVDLite: A Light-weight Representation of Model View Definition with Fast Validation for BIM Applications. CoRR abs/1909.06997 (2019) - 2018
- [j3]Yu Jiang, Han Liu, Houbing Song, Hui Kong, Rui Wang, Yong Guan, Lui Sha:
Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller. IEEE Trans. Intell. Transp. Syst. 19(10): 3320-3333 (2018) - [c21]Mingzhe Wang, Jie Liang, Yuanliang Chen, Yu Jiang, Xun Jiao, Han Liu, Xibin Zhao, Jiaguang Sun:
SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing. ICSE (Companion Volume) 2018: 61-64 - [c20]Chao Liu, Han Liu, Zhao Cao, Zhong Chen, Bangdao Chen, Bill Roscoe:
ReGuard: finding reentrancy bugs in smart contracts. ICSE (Companion Volume) 2018: 65-68 - [c19]Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Wanting Sun, Ming Gu:
Managing concurrent testing of data race with ComRaDe. ISSTA 2018: 364-367 - [c18]Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, Jiaguang Sun:
S-gram: towards semantic-aware security auditing for Ethereum smart contracts. ASE 2018: 814-819 - [c17]Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Xian Zhang:
Jbench: a dataset of data races for concurrency testing. MSR 2018: 6-9 - [c16]Han Liu, Zhiqiang Yang, Chao Liu, Yu Jiang, Wenqi Zhao, Jiaguang Sun:
EClone: detect semantic clones in Ethereum via symbolic transaction sketch. ESEC/SIGSOFT FSE 2018: 900-903 - [i1]Jianbo Gao, Han Liu, Chao Liu, Qingshan Li, Zhi Guan, Zhong Chen:
EASYFLOW: Keep Ethereum Away From Overflow. CoRR abs/1811.03814 (2018) - 2017
- [j2]Han Liu, Yu-Shen Liu, Pieter Pauwels, Hongling Guo, Ming Gu:
Enhanced Explicit Semantic Analysis for Product Model Retrieval in Construction Industry. IEEE Trans. Ind. Informatics 13(6): 3361-3369 (2017) - [c15]Yu Jiang, Mingzhe Wang, Han Liu, Mohammad Hosseini, Jiaguang Sun:
Dependable integrated clinical system architecture with runtime verification. ICCAD 2017: 951-956 - [c14]Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu, Jiaguang Sun:
Stochastic optimization of program obfuscation. ICSE 2017: 221-231 - [c13]Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, Han Liu:
A language model for statements of software code. ASE 2017: 682-687 - 2016
- [c12]Yu Jiang, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, Lui Sha:
Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. FM 2016: 757-763 - [c11]Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu, Jiaguang Sun:
Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers. FM 2016: 764-771 - [c10]Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jia-Guang Sun, Lui Sha:
Use runtime verification to improve the quality of medical care practice. ICSE (Companion Volume) 2016: 112-121 - [c9]Han Liu:
Towards better program obfuscation: optimization via language models. ICSE (Companion Volume) 2016: 680-682 - [c8]Huafeng Zhang, Yu Jiang, Han Liu, Hehua Zhang, Ming Gu, Jia-Guang Sun:
Model driven design of heterogeneous synchronous embedded systems. ASE 2016: 774-779 - [c7]Huafeng Zhang, Yu Jiang, Han Liu, Ming Gu, Jiaguang Sun:
Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems. D&P@MoDELS 2016: 32-39 - [c6]Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jia-Guang Sun, Lui Sha:
From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. RTAS 2016: 231-241 - 2015
- [j1]Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks. IEEE Trans. Parallel Distributed Syst. 26(8): 2220-2232 (2015) - 2014
- [c5]Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems. SIGSOFT FSE 2014: 711-714 - [c4]Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun:
Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. TASE 2014: 131-134 - [c3]Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. TASE 2014: 193-200 - 2013
- [c2]Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun:
System reliability calculation based on the run-time analysis of ladder program. ESEC/SIGSOFT FSE 2013: 695-698 - 2011
- [c1]Han Liu, Jie Li, Hongwei Jia:
The design of indoor emergency management system based on wireless location. CCIS 2011: 530-535
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 21:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
