Endadul Hoque is an Assistant Professor in the School of Computing and Information Sciences at Florida International University. He received his Ph.D. in Computer Science from Purdue University. After his PhD, he was a Postdoctoral Research Associate at Northeastern University. His research interests lie at the intersection of networked systems and security. Broadly, he is interested in tackling practical cybersecurity problems in the networking domain, where the overarching goal is to create automated techniques for achieving higher assurance on networked systems. He primarily apply program analysis and formal verification techniques to design and develop automated analysis techniques for aiding the development of secure networked systems, including real-world implementations of network protocols and IoT systems. During his PhD, he received the Graduate Teaching Fellowship award in 2014 and the Bilsland Dissertation Fellowship award in 2015. His research work has been published in several top security and networking conferences (e.g., S&P, DSN) and journals (e.g., ToN).
Honors and Awards
Bilsland Dissertation Fellowship Award from the Graduate School at Purdue University, 2015.
Graduate Teaching Fellowship award from Dept. of Computer Science at Purdue University, 2014.
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.