Publications
(2012).
Exploring Tor's Activity Through Long-term Passive TLS Traffic Measurement.
Proceedings of Passive and Active Measurement Conference (PAM).
(2016).
(2012). Mission Accomplished? HTTPS Security after DigiNotar.
Proceedings of the IMC 2017.
(2017).
(2014).
(2012). Providing Dynamic Control to Passive Network Security Monitoring.
Proceedings of 18th International Symposium on Research in Attacks, Intrusions and Defenses (RAID).
(2015).
(1997).
(2012). TSP-Based Curve Reconstruction in Polynomial Time.
Proceedings of the Eleventh Symposium on Discrete Algorithms. 686-695.
(2000). A Combinatorial Approach to Protein Docking with Flexible Side-Chains.
Proceedings of the Fourth Annual International conference on Computational Molecular Biology (RECOMB-00).
(2000).
(2000). A Polyhedral Approach to Surface Reconstruction from Planar Contours.
Proceedings of the Ninth Conference on Integer Programming and Combinatorial Optimization.
(2002).
(2001).
(2000).
(2002).
(2001).
(1991). A Method for Obtaining Randomized Algorithms with Small Tail Probabilities.
Algorithmica. 16(4-5), 543-547.
(1996). Abstract Interpretation of Stateful Networks.
Proceedings of SAS 2018.
(2018).
(1997).
(1991).
(1991). A graph-theoretic game and its application to the k-server problem.
SIAM Journal on Computing. 24(1), 78-100.
(1995).
(1993).