Han Liu

According to our database, Han Liu authored at least 45 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

SorTEE: Service-Oriented Routing for Payment Channel Networks With Scalability and Privacy Protection.

Qinghao Wang, Yongxin Zhang, Zijian Bao, Wenbo Shi, Hong Lei, Han Liu, Bangdao Chen

IEEE Trans. Netw. Serv. Manag., December, 2022

Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins.

Han Liu, Xiaoyu Song, Ge Gao, Hehua Zhang, Yu-Shen Liu, Ming Gu

CoRR, 2022

TENET: Towards Self-sovereign and Fair Multi-party Computation Ecology Empowered by Decentralized TEE Network.

Qian Ren, Yingjun Wu, Yue Li, Han Liu, Hong Lei, Lei Wang, Bangdao Chen

CoRR, 2022

TMI: tokenomics made easy for web3 applications.

Han Liu, Xufei Wang, Bin Wang, Huixuan Zheng, Xuchao Liu

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Committable: A Decentralised and Trustless Open-Source Protocol.

Han Liu, Huafeng Zhang, Bangdao Chen, A. W. Roscoe

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 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

Proceedings of the Annual Computer Security Applications Conference, 2022

2021

Trusted And Confidential Program Analysis.

Han Liu, Pedro Antonino, Zhiqiang Yang, Chao Liu, A. W. Roscoe

CoRR, 2021

CLOAK: Towards Practical Development and Deployment of Confidential Smart Contracts.

Qian Ren, Han Liu, Yue Li, Hong Lei, Lei Wang, Bangdao Chen

CoRR, 2021

CLOAK: A Framework For Development of Confidential Blockchain Smart Contracts.

Qian Ren, Han Liu, Yue Li, Hong Lei

CoRR, 2021

BLOCKEYE: Hunting for DeFi Attacks on Blockchain.

Bin Wang, Han Liu, Chao Liu, Zhiqiang Yang, Qian Ren, Huixuan Zheng, Hong Lei

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Demo: Cloak: A Framework For Development of Confidential Blockchain Smart Contracts.

Qian Ren, Han Liu, Yue Li, Hong Lei

Proceedings of the 41st IEEE International Conference on Distributed Computing Systems, 2021

FASTBLOCK: Accelerating Blockchains via Hardware Transactional Memory.

Yue Li, Han Liu, Yuanliang Chen, Jianbo Gao, Zhenhao Wu, Zhi Guan, Zhong Chen

Proceedings of the 41st IEEE International Conference on Distributed Computing Systems, 2021

2020

Protect Your Smart Contract Against Unfair Payment.

Yue Li, Han Liu, Zhiqiang Yang, Bin Wang, Qian Ren, Lei Wang, Bangdao Chen

Proceedings of the International Symposium on Reliable Distributed Systems, 2020

Seraph: enabling cross-platform security analysis for EVM and WASM smart contracts.

Zhiqiang Yang, Han Liu, Yue Li, Huixuan Zheng, Lei Wang, Bangdao Chen

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 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

Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020

2019

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, Lui Sha

ACM Trans. Cyber Phys. Syst., 2019

MVDLite: A Light-weight Representation of Model View Definition with Fast Validation for BIM Applications.

Han Liu, Ge Gao, Hehua Zhang, Yu-Shen Liu, Yan Song, Ming Gu

CoRR, 2019

Fast Low-rank Metric Learning for Large-scale and High-dimensional Data.

Han Liu, Zhizhong Han, Yu-Shen Liu, Ming Gu

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Enabling clone detection for ethereum via smart contract birthmarks.

Han Liu, Zhiqiang Yang, Yu Jiang, Wenqi Zhao, Jiaguang Sun

Proceedings of the 27th International Conference on Program Comprehension, 2019

Towards automated testing of blockchain-based decentralized applications.

Jianbo Gao, Han Liu, Yue Li, Chao Liu, Zhiqiang Yang, Qingshan Li, Zhi Guan, Zhong Chen

Proceedings of the 27th International Conference on Program Comprehension, 2019

EasyFlow: keep ethereum away from overflow.

Jianbo Gao, Han Liu, Chao Liu, Qingshan Li, Zhi Guan, Zhong Chen

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller.

Yu Jiang, Han Liu, Houbing Song, Hui Kong, Rui Wang, Yong Guan, Lui Sha

IEEE Trans. Intell. Transp. Syst., 2018

EClone: detect semantic clones in Ethereum via symbolic transaction sketch.

Han Liu, Zhiqiang Yang, Chao Liu, Yu Jiang, Wenqi Zhao, Jiaguang Sun

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Jbench: a dataset of data races for concurrency testing.

Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Xian Zhang

Proceedings of the 15th International Conference on Mining Software Repositories, 2018

S-gram: towards semantic-aware security auditing for Ethereum smart contracts.

Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, Jiaguang Sun

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Managing concurrent testing of data race with ComRaDe.

Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Wanting Sun, Ming Gu

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing.

Mingzhe Wang, Jie Liang, Yuanliang Chen, Yu Jiang, Xun Jiao, Han Liu, Xibin Zhao, Jiaguang Sun

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

ReGuard: finding reentrancy bugs in smart contracts.

Chao Liu, Han Liu, Zhao Cao, Zhong Chen, Bangdao Chen, Bill Roscoe

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Enhanced Explicit Semantic Analysis for Product Model Retrieval in Construction Industry.

Han Liu, Yu-Shen Liu, Pieter Pauwels, Hongling Guo, Ming Gu

IEEE Trans. Ind. Informatics, 2017

A language model for statements of software code.

Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, Han Liu

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Stochastic optimization of program obfuscation.

Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu, Jiaguang Sun

Proceedings of the 39th International Conference on Software Engineering, 2017

Dependable integrated clinical system architecture with runtime verification.

Yu Jiang, Mingzhe Wang, Han Liu, Mohammad Hosseini, Jiaguang Sun

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

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, Jia-Guang Sun, Lui Sha

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems.

Huafeng Zhang, Yu Jiang, Han Liu, Ming Gu, Jiaguang Sun

Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016

Model driven design of heterogeneous synchronous embedded systems.

Huafeng Zhang, Yu Jiang, Han Liu, Hehua Zhang, Ming Gu, Jia-Guang Sun

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Towards better program obfuscation: optimization via language models.

Han Liu

Proceedings of the 38th International Conference on Software Engineering, 2016

Use runtime verification to improve the quality of medical care practice.

Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jia-Guang Sun, Lui Sha

Proceedings of the 38th International Conference on Software Engineering, 2016

Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers.

Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu, Jiaguang Sun

Proceedings of the FM 2016: Formal Methods, 2016

Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller.

Yu Jiang, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, Lui Sha

Proceedings of the FM 2016: Formal Methods, 2016

2015

Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks.

Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, Ming Gu, Jiaguang Sun

IEEE Trans. Parallel Distributed Syst., 2015

2014

iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems.

Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jia-Guang Sun

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis.

Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

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, Jia-Guang Sun

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

2013

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, Jiaguang Sun

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2011

The design of indoor emergency management system based on wireless location.

Han Liu, Jie Li, Hongwei Jia

Proceedings of the 2011 IEEE International Conference on Cloud Computing and Intelligence Systems, 2011