Volgen
Han Liu
Han Liu
University College Oxford Blockchain Research Centre, The Blockhouse Technology Ltd.
Geverifieerd e-mailadres voor tbtl.com - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Reguard: finding reentrancy bugs in smart contracts
C Liu, H Liu, Z Cao, Z Chen, B Chen, B Roscoe
Proceedings of the 40th International Conference on Software Engineering …, 2018
3202018
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
922018
S-gram: towards semantic-aware security auditing for ethereum smart contracts
H Liu, C Liu, W Zhao, Y Jiang, J Sun
Proceedings of the 33rd ACM/IEEE international conference on automated …, 2018
852018
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
622019
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
552014
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
452018
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
442021
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
372019
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
362019
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
342017
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
342016
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
342016
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
322018
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, 65ś68, 2018
302018
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
282018
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
212013
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
192018
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
192017
Seraph: enabling cross-platform security analysis for evm and wasm smart contracts
Z Yang, H Liu, Y Li, H Zheng, L Wang, B Chen
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
152020
Towards better program obfuscation: optimization via language models
H Liu
Proceedings of the 38th International Conference on Software Engineering …, 2016
152016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20