Measuring Information Leakage in Website Fingerprinting Attacks. - Shuai Li; Huajun Guo; Nicholas Hopper (CoRR, 2017)

Measuring Information Leakage in Website Fingerprinting Attacks and Defenses. - Shuai Li; Huajun Guo; Nicholas Hopper (CCS, 2018)

Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts. - Andreas Katis; Grigory Fedyukovich; Huajun Guo; Andrew Gacek; John Backes; Arie Gurfinkel; Michael W. Whalen (TACAS (2), 2018)