Endadul Hoque, Omar Chowdhury, Sze Yiu Chau, Cristina Nita-Rotaru, and Ninghui Li. Analyzing Operational Behavior of Stateful Protocol Implementations for Detecting Semantic Bugs. In the Proceedings of IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Denver, CO, June 2017.
Sze Yiu Chau, Omar Chowdhury, Endadul Hoque, Huangyi Ge, Aniket Kate, Cristina Nita-Rotaru, and Ninghui Li. SymCerts: Practical Symbolic Execution For Exposing Noncompliance in X.509 Certificate Validation Implementations. In the Proceedings of IEEE Symposium on Security and Privacy (S&P), San Jose, CA. May 2017.
Endadul Hoque, Hyojeong Lee, Rahul Potharaju, Charles Killian, and Cristina Nita-Rotaru. Automated Adversarial Testing of Unmodified Wireless Routing Implementations. Journal IEEE/ACM Transactions on Networking (ToN), vol 24, issue 6, Dec 2016.
Endadul Hoque and Cristina Nita-Rotaru. Building Robust Distributed Systems and Network Protocols Using Adversarial Testing and Behavioral Analysis. In the Proceedings of IEEE Cybersecurity Development Conference (SecDev), Boston, MA. Nov 2016.
Daniel Obenshain, Thomas Tantillo, Amy Babay, John Schultz, Andrew Newell, Endadul Hoque, Yair Amir, and Cristina Nita-Rotaru. Practical Intrusion-Tolerant Networks. In the Proceedings of International Conference on Distributed Computing Systems (ICDCS), Japan, Jun 2016.
Hyojeong Lee, Jeff Seibert, Endadul Hoque, Charles Killian, and Cristina Nita-Rotaru. Turret: A Platform for Automated Attack Finding in Unmodified Distributed System Implementations. In the Proceedings of International Conference on Distributed Computing Systems (ICDCS), Madrid, Spain, July 2014.