Huajun Guo

According to our database, Huajun Guo authored at least 3 papers between 2017 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Measuring Information Leakage in Website Fingerprinting Attacks and Defenses.

Shuai Li, Huajun Guo, Nicholas Hopper

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Measuring Information Leakage in Website Fingerprinting Attacks.

Shuai Li, Huajun Guo, Nicholas Hopper

CoRR, 2017