Follow
Han Liu
Han Liu
Oxford-Hainan Blockchain Research Institute, The Blockhouse Technology Ltd.
Verified email at oxhainan.org - Homepage
Title
Cited by
Cited by
Year
Reguard: finding reentrancy bugs in smart contracts
C Liu, H Liu, Z Cao, Z Chen, B Chen, B Roscoe
2018 IEEE/ACM 40th International Conference on Software Engineering …, 2018
1832018
SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing
M Wang, J Liang, Y Chen, Y Jiang, X Jiao, H Liu, X Zhao, J Sun
Proceedings of the 40th International Conference on Software Engineering …, 2018
752018
S-gram: towards semantic-aware security auditing for ethereum smart contracts
H Liu, C Liu, W Zhao, Y Jiang, J Sun
2018 33rd IEEE/ACM International Conference on Automated Software …, 2018
552018
Design of mixed synchronous/asynchronous systems with multiple clocks
Y Jiang, H Zhang, H Zhang, H Liu, X Song, M Gu, J Sun
IEEE Transactions on Parallel and Distributed Systems 26 (8), 2220-2232, 2014
522014
Dependable model-driven development of CPS: From stateflow simulation to verified implementation
Y Jiang, H Song, Y Yang, H Liu, M Gu, Y Guan, J Sun, L Sha
ACM Transactions on Cyber-Physical Systems 3 (1), 1-31, 2018
402018
From stateflow simulation to verified implementation: A verification approach and a real-time train controller design
Y Jiang, Y Yang, H Liu, H Kong, M Gu, J Sun, L Sha
2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2016
322016
Easyflow: Keep ethereum away from overflow
J Gao, H Liu, C Liu, Q Li, Z Guan, Z Chen
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
302019
Safety-assured model-driven design of the multifunction vehicle bus controller
Y Jiang, H Liu, H Song, H Kong, R Wang, Y Guan, L Sha
IEEE Transactions on Intelligent Transportation Systems 19 (10), 3320-3333, 2018
302018
Use runtime verification to improve the quality of medical care practice
Y Jiang, H Liu, H Kong, R Wang, M Hosseini, J Sun, L Sha
Proceedings of the 38th International Conference on Software Engineering …, 2016
302016
Enabling clone detection for ethereum via smart contract birthmarks
H Liu, Z Yang, Y Jiang, W Zhao, J Sun
2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC …, 2019
292019
Stochastic optimization of program obfuscation
H Liu, C Sun, Z Su, Y Jiang, M Gu, J Sun
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017
262017
Eclone: Detect semantic clones in ethereum via symbolic transaction sketch
H Liu, Z Yang, C Liu, Y Jiang, W Zhao, J Sun
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
252018
Towards automated testing of blockchain-based decentralized applications
J Gao, H Liu, Y Li, C Liu, Z Yang, Q Li, Z Guan, Z Chen
2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC …, 2019
212019
System reliability calculation based on the run-time analysis of ladder program
Y Jiang, H Zhang, H Liu, X Song, WNN Hung, M Gu, J Sun
Proceedings of the 2013 9th joint meeting on foundations of software …, 2013
202013
Blockeye: Hunting for defi attacks on blockchain
B Wang, H Liu, C Liu, Z Yang, Q Ren, H Zheng, H Lei
2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021
162021
Jbench: a dataset of data races for concurrency testing
J Gao, X Yang, Y Jiang, H Liu, W Ying, X Zhang
Proceedings of the 15th international conference on mining software …, 2018
142018
Reguard: finding reentrancy bugs in smart contracts. In 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion)
C Liu, H Liu, Z Cao, Z Chen, B Chen, B Roscoe
IEEE, 2018
132018
Tsmart-galsblock: A toolkit for modeling, validation, and synthesis of multi-clocked embedded systems
Y Jiang, H Zhang, H Zhang, X Zhao, H Liu, C Sun, X Song, M Gu, J Sun
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
132014
Towards better program obfuscation: Optimization via language models
H Liu
2016 IEEE/ACM 38th International Conference on Software Engineering …, 2016
112016
A language model for statements of software code
Y Yang, Y Jiang, M Gu, J Sun, J Gao, H Liu
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
92017
The system can't perform the operation now. Try again later.
Articles 1–20