Biography

Hi! I am Jianhao Xu (εΎεšηš“), a PhD candidate working on software and system security, advised by Prof. Bing Mao. Now I am visiting HexHive and supervised by Prof. Mathias Payer.

Interests
  • Compiler Security
  • OS Security
  • Program Analysis
Education
  • Visiting PhD student, 2022 - Present

    EPFL

  • PhD Candidate in Computer Science and Technology, 2017 - Present

    Nanjing University

  • BSc in Computer Science and Technology, 2013 - 2017

    Nanjing University of Science and Technology

Publications

(2023). Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs. The 32nd USENIX Security Symposium (Security'23).

(2019). POMP++: Facilitating Postmortem Program Diagnosis with Value-set Analysis. IEEE Transactions on Software Engineering.

Cite

Talks

Cross-Architecture Testing for Compiler-Introduced Security Bugs

Contact