TAO LYU (吕涛)

*Note: My name is also spelled as TAO LV.

Ph.D. Student
Computer and Communication Sciences (IC)
École Polytechnique Fédérale de Lausanne (EPFL)

Paper lvtao@iie.ac.cn   Paper     CV     Google Scholar     Blog

Biography

I'm an EDIC Ph.D. student at EPFL. I received my bachelor and master degree from Huazhong University of Science and Technology and University of Chinese Academy of Sciences respectively.

I am broadly interested in operating systems, software engineering and computer security at all layers (e.g., software,system and hardware security). Recently, I focus on distributed system security, like finding bugs in distributed file systems.


Publications

  1. RTFM! Automatic Assumption Discovery and Verification Derivation from Library Document for API Misuse Detection Paper BibTex
    Tao Lv, Ruishi Li, Yi Yang, Kai Chen, Xiaojing Liao, XiaoFeng Wang, Peiwei Hu and Luyi Xing.
    In Proceedings of the 27th ACM Conference on Computer and Communications Security (CCS 2020).
  2. FuzzGuard: Filtering out Unreachable Inputs in Directed Grey-box Fuzzing through Deep Learning Slides Paper BibTex
    Peiyuan Zong, Tao Lv, Dawei Wang, Zizhuang Deng, Ruigang Liang and Kai Chen.
    In Proceedings of the 29th USENIX Security Symposium (USENIX Security 2020).

Internship Experiences


Professional Skills


Honors and Awards


Reported Bugs


last modified: 2020.08.27