Kepu Huang

Google Scholar
1 publications in security and cryptology related venues
Year
Venue
Title
2024
conf/uss
TAPFixer: Automatic Detection and Repair of Home Automation Vulnerabilities based on Negated-property Reasoning.

Coauthors

Jiajia Liu (1)
Kepu Huang (1)
Yinbo Yu (1)
Yuanqi Xu (1)
Filters
Years:  to