Huajun Guo

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 4

Top Topics

Information Leakage

Reactive Systems

Top Venues

Publications

Shuai Li, Huajun Guo, Nicholas Hopper
Measuring Information Leakage in Website Fingerprinting Attacks and Defenses. CCS (2018)
Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts. TACAS (2) (2018)
Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts. CoRR (2017)
Shuai Li, Huajun Guo, Nicholas Hopper
Measuring Information Leakage in Website Fingerprinting Attacks. CoRR (2017)