Electrical Engineering and Computer Science
- Ph.D., Computer Science, Purdue University, 2015
- M.S., Computer Science, Marquette University, 2010
- B.S., Computer Science and Engineering, Bangladesh University of Engineering and Technology, 2008
- Security of computer networks and systems
- IoT systems security
- Program analysis, software testing and verification
- Vulnerability detection
His research focuses on the security of computer networks and systems. The software of computer networks and systems continues to have exploitable vulnerabilities, which are lucrative targets for adversaries. Within this broad domain, his particular emphasis is on automated detection of vulnerabilities as well as creating resilient protocols and systems. His research primarily builds on and expands program analysis, software engineering, and formal verification. His interests span several domains of computing, including network communication protocols, operating systems, distributed systems, internet-of-things (IoT) systems and embedded devices.
- Distinguished Paper Award at NDSS (Network and Distributed System Security Symposium) 2018
- 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
- Yahyazadeh, P. Podder, E. Hoque, and O. Chowdhury. Expat: Expectation-based Policy Analysis and Enforcement for Appified Smart-Home Platforms. In the proceedings of the 24th ACM Symposium on Access Control Models and Technologies (SACMAT 2019), Toronto, ON, Canada, June 2019
- Samuel Jero, Endadul Hoque, David Choffnes, Alan Mislove, and Cristina Nita-Rotaru. Automated Attack Discovery in TCP Congestion Control Using a Model-guided Approach. In the proceedings of Network and Distributed System Security Symposium (NDSS), San Diego, California, Feb 2018. [Distinguished Paper Award]
- 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.