Han Liu (刘浛)


thu logo
date logo

About Me

I am a postdoctoral researcher at Tsinghua University, working with Professor Jiaguang Sun. Before that, I obtained my Ph.D. at Tsinghua University in 2017 under the supervision of Professor Ming Gu. I received my bachelor degree in Software Engineering from Beijing University of Posts and Telecommunications in 2012. During my academic visit at UC Davis (03/2015-09/2015), I worked with Professor Zhendong Su. Now, I am working on cutting-edge techniques to make real-world software safer and securer. My research interests include:


Publications [Google Scholar]

  1. EClone: Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch.
    Han Liu, Zhiqiang Yang, Chao Liu, Yu Jiang, Wenqi Zhao, Jiaguang Sun.
    To appear at ESEC/FSE 2018 Demonstration Track, USA, 2018.
  2. S-gram: Towards Semantic-Aware Security Auditing For Ethereum Smart Contracts .
    Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, Jiaguang Sun.
    To appear at ASE 2018, France, 2018.
  3. 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, Sweden, 2018.
    (*Equal contribution)
  4. 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.
  5. 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.
  6. 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.
  7. 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), To appear, 2017.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. Towards Better Program Obfuscation: Optimization via Language Models (Student Research Competition).
    Han Liu.
    In Proceedings of ICSE 2016, USA, 2016.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. EasyFlow: Keep Ethereum Away From Overflow/Underflow .
    Jianbo Gao, Han Liu, Chao Liu, Zhi Guan, Zhong Chen.
    Under submission (email for access), 2018.

Projects

 

Activities and Services


Awards


Interesting Links


Personal

 


  Last update: August, 2018