Name & Website	Research	Advisor
Aybar C. Acar	Discovering Patterns in Large Collections of Queries	Ami Motro
Ahmed Al-Faresi
Muna Al-Razgan	Clustering Ensembles	Carlotta Domeniconi
Loulwah Al-Sumait	Probabilistic Topic Models	Daniel Barbará and Carlotta Domeniconi
Mohammed Alhussein
Malak Alnory	Decision Guidance for Service Composition in Supply Chains	Alex Brodsky
Jung-Woo An
Douglass Berg
Jacob L. Berlin	Automated Discovery of Content for Virtual Databases	Ami Motro
Guillermo Calderon-Meza		Jeff Offutt
James Caroland
Shipping Chen		Sushil Jajodia and Xinyuan (Frank) Wang
Blaine Donley	Web Application Architectures	Jeff Offutt
Sylvia Henshaw	Decision guidance with dynamically learned objectives in social networks	Alex Brodsky
Frank Hodum
Prem Jadhwani
Muhammad Jameel
Roger Johnson
Garrett Kaminski	Software Logic Testing	Paul Ammann
Gary Liebo
Juan Luo	Integrating learning in computing environments	Alex Brodsky
Christopher Magrin
Ashraf Nabih
Thoanh Nguyen
Kamau Njuguna
Erika Olympiew		Hassan Gomaa
Wayne Pickard
Alireza Sabzevar Pirayesh		João Pedro Sousa
Upsorn Praphamontripong		Jeff Offutt
Faisal Quader
Sanjeev Raman	Identification and Analysis of Genetic Markers	Carlotta Domeniconi
James Rogers		Daniel Barbará
Mazen Saleh		Hassan Gomaa
Imran Shah
Xiang Shen
Julie Street
Vasilios Tzeremes
Marcos R. Vieira	Maintaining Privacy in Database Services	Ami Motro
Steven Vincent	Kernel Methods for Text Mining	Carlotta Domeniconi
Qingxiang Wang	Web Application Testing	Jeff Offutt
Shuang Wang		Jeff Offutt
James Warren
Min Xu	RBAC	Duminda Wijesekera
Wuzhi Xu	Perturbation Testing for Syntax-based Applications	Jeff Offutt
Bojun Yan	Semi-supervised Learning	Carlotta Domeniconi
Workeye Zewudie
Lei Zhang	Risk-based decision guidance for secure information systems	Sushil Jajodia and Alex Brodsky
Baoxian Zhao

PhD Graduates

Name & Website	Research	Advisor	Graduated
Aynur Abdurazik	Coupling-Based Analysis of Object-Oriented Software	Jeff Offutt	2007
Mohammad M. Abusalim	Information Security Policy for the National Security: Saudi Arabia	Saudi Arabia	1995
Gail Ahn	The RCL2000 Language for Specifying Role-Based Authorization Constraints	Ravi Sandhu	2000
Mohammad A. Al-Kahtani	A Family of Models for Rule-based User-role Assignment	Ravi Sandhu	2003
Ayad Aldaijy	An Empirical Assessment of the Impact of Requirements Uncertainty on Development Quality Performance	Edgar Sibley	2003
Roger Alexander	Testing the Polymorphic Relationships of Object-oriented Programs	Jeff Offutt	2001
Khaled Algathbar	UML Security	Duminda Wijesekera	2004
Amany Alshawi	Investigating Predictors of Faculty Internet Usage	Edgar Sibley	2003
Philipp Anokhin	Data Inconsistency Detection and Resolution in the Integration of Heterogeneous Information Sources	Ami Motro	2002
Vijayalakshmi Atluri	Concurrency Control in Multilevel Secure Databases	Sushil Jajodia	1995
Ezedin S. Barka	Role-Based Delegation Models	Ravi Sandhu	2002
Mark Blackburn	Specification Transformation and Semantic Expansion to Support Automated Testing	Paul Ammann	1998
M. Brian Blake	Agent-based Workflow Modeling for Distributed Component Configuration and Coordination	Prasanta Bose	2001
Khalid Buragga	An Investigation of the Relationship Between National Culture and the Adoption of IT	Edgar Sibley	2002
Ramaswamy Chandramouli	Inference Elimination in Multilevel Databases Using Disjunctive Logic Programming	Sushil Jajodia	1995
Jia Chen	Constraint Algebras and Combinatorial Optimization in Constraint Databases	Alex Brodsky	2001
Ping Chen	Fractal Clustering and Its Applications to Projected Clustering and Deviation Detection	Daniel Barbará	2002
Du Dang	Discovering Sequential Patterns from Non-Uniform Temporal Databases	Sean Wang	1999
Vijayanth Dhankar		Duminda Wijesekeera
Anhtuan Q. Dinh	A Development Method for Real-Time Software in a Parallel Environment	Bo Sanden	1995
Ronald Dodge	Improving E-Commerce System Performance with Dynamic System Tuning	Daniel Menasce	2002
Daniel R. Ellis	Worms, Malware	Paul Ammann and Sushil Jajodia	2006
Peter Epstein	Engineering of Role-Permission Assignments	Ravi Sandhu	2002
Csillia Farkas	Secure Databases: Constraints and Inference Channels	Susil Jajodia and Alex Brodsky	2000
Ghulam Ahmad Farrukh	A Method and Software Engineering Environment for Configuring Applications from Reusable Specifications and Architectures	Hassan Gomaa	1998
Srinivas Ganta	Expressive Power of Access Control Models Based on Propagation of Rights	Susil Jajodia	1996
Like Gao		Sean Wang
Mark Gianturco	Pattern-Based Modeling and Application Generation for Web-Based Software Product Lines	Hassan Gomaa	2004
Rajni Goel	Techniques for Detecting Malicious or Improper Data Modification	Sushil Jajodia and Daniel Barbará	2003
Sami M. Halawani	The Effect of Language Reading Direction on User Interface Design	Edgar Sibley	1997
Mark Hartong	Railroad Signaling Security	Duminda Wijesekera	2008
Jane Hayes	Input Validation Testing: A System Level, Early Lifecycle Technique	Jeff Offutt	1998
Mohamed Hussein	A Software Architecture-Based Method and Framework for the Design of Dynamically Reconfigurable Product Line Software Architectures	Hassan Gomaa	2003
Philip C. Hyland	Concentric Supervision of Security Applications: An Assurance Methodology	Ravi Sandhu	1999
Ye Jin		Sushil Jajodia and Duminda Wijesekeera
Zhenyi Jin	A Software Architecture-based Testing Technique	Jeff Offutt	2000
Michael Johnson		Daniel Barbará
Neil Johnson	Information Hiding: Steganography, Attacks and Countermeasures	Sushil Jajodia	2001
Savith Kandala		Ravi Sandhu
Saket Kaushik	Secure Email	Paul Ammann and Duminda Wijesekeera	2007
Katrin Khojasteh	Common Knowledge Inferences in Multilevel Databases	Sushil Jajodia	1999
Naren Kodali		Duminda Wijesekeera and Csilla Farkas	2004
Brandon Le		Duminda Wijesekeera
Michelle Lee (Li Li)	Change Impact Analysis for Object-Oriented Software	Jeff Offutt	1998
Fu M. Li	The Use of Information Technology for the Analysis of Issues in Policy Management	Edgar Sibley	1995
Yingjiu Li	Techniques for Protecting Data from Piracy, Illegal Inference, and Malicious Intrusions	Sushil Jajodia and Sean Wang	2003
Jia-Ling Lin	Abstraction-Based Misuse Detection: High-Level Specifications and Adaptable Strategies	Sean Wang	1995
Peng Liu	Trusted Recovery from Malicious Attacks	Paul Ammann	1999
Munir Madjalawei	SCADA Security	Duminda Wijesekera	2005
Donald G. Marks	Using Constraints to Control Access to Sensitive Aggregates and to Enforce Multilevel Integrity	Sushil Jajodia and Ami Motro	1997
Michael Martin	Improving Security in Multilevel Database Management Systems through the Use of Query Modification	Sushil Jajodia	1995
Mark G. Matthews	Design and Analysis of Run-time Coordination Policy Change Mechanisms	Prasanta Bose	2001
John Pierce McDermott, III	Transaction Management in Replicated-Architecture Multilevel-Secure Database Systems	Sushil Jajodia	1994
James B. Michael	A Formal Process for Testing the Consistency of Composed Security Policies	Edgar Sibley	1993
Kevin Mills	Automatic Generation of Concurrent Designs for Real-Time Software	Hassan Gomaa	1995
Peng Ning	Abstraction-Based Intrusion Detection in Distributed Environments	Sushil Jajodia and Xiaoyang Wang	2002
Elizabeth Anne O'Hara-Schettino	Dynamic Navigation Among Multiple View Software Specifications and Designs	Hassan Gomaa	1994
Joseph Pamala	Sealable Network Attach Graphs	Paul Ammann	2007
Jaehong Park	Usage Control: A Unified Framework for Next Generation Access Control	Ravi Sandhu	2003
Joon Soo Park	Secure Attribute Services on the Web	Ravi Sandhu	1999
Leisheng Peng		Duminda Wijesekeera	2008
Robert G. Pettit, IV	Analyzing Dynamic Behavior of Concurrent Object-Oriented Software Designs	Hassan Gomaa	2003
Igor Rakov	Data Quality and Its Use for Reconciling Inconsistencies in Multi-Database Environments	Ami Motro	1999
Indrajit Ray	An Advanced Transaction Model with Application to Multilevel Secure Systems	Sushil Jajodia	1998
Indrakshi Ray	Using Formal Methods in Semantic-Based Decomposition of Transactions	Paul Ammann and Sushil Jajodia	1998
Barbara Redmon		Edgar Sibley
Ron Ritchey	Network Attach Graph Analysis	Paul Ammann	2007
Lucian de Pont Perlot Russell	Postis and Rationales: Two Inferential Reasoning Extensions to Non-Recursive Database Programming Languages for MultiDatabase Systems	Edgar Sibley	1997
Victor Segal	Algorithms and Implementation of Object-oriented Constraint Databases	Alex Brodsky	2001
Leonard J. Seligman	A Mediated Approach to Consistency Management Among Distributed, Heterogeneous Information Systems	Larry Kerschberg	1995
Hemant Sengar	Telecom Security	Duminda Wijesekeera and Sushil Jajodia	2007
Tom Shackelford		Daniel Barbará
Mohamad Sharif	Voice Privacy Service Over the Public Telephone Network	Duminda Wijesekeera	2004
Eonsuk Shin	Evolution in Multiple-View Models of Software Product Families	Hassan Gomaa	2002
Yong S. Song		Ravi Sandhu
Rainer A. Sommer	Embedding Organizational Planning Information in a Process: A Function-Oriented Process Planning Approach	Edgar Sibley	1999
Barry Sweeney	VOID Security	Duminda Wijesekera	2006
Vijayan Sugumaran	A Knowledge Based Approach for Generating Target Systems from a Domain Model	Hassan Gomaa	1993
Roshan Thomas	Supporting Secure and Efficient Write-Up in High-Assurance Multilevel Object-Based Computing	Ravi Sandhu	1995
Samuel E. Varas	On Optimal Constraint Decomposition, Monitoring, and Management in Distributed Environments	Larry Kerschberg and Alex Brodsky	1999
Changzhou Wang	Time Series Search via Content	Sean Wang	2000
Lingyu Wang		Sushil Jajodia and Duminda Wijesekera	2006
Diana Lyn Webber	The Variation Point Model for Software Product Lines	David Rine and Hassan Gomaa	2002
Doyle Joseph Weishar	A Knowledge-Based Architecture for Query Formulation and Processing in Federated Heterogeneous Databases	Larry Kerschberg	1994
Ningning Wu	Audit Data Analysis and Mining	Sushil Jajodia	2002
Xintao Wu	Approximate Algorithms for Data Warehousing and Data Mining	Daniel Barbará	2002
Jackie Yang		Sushil Jajodia and Duminda Wijesekera	2006
Zhengrong Yao		Sean Wang
Jong Pil Yoon	Constraint Management in Active Databases	Larry Kerschberg	1994
Christine Youngblut	Use of Multimedia Technology to Provide Solutions to Existing Curriculum Problems: Virtual Frog Dissection	Edgar Sibley	2001
Xinwen Zhang		Ravi Sandhu
Li Zhou		Edgar Sibley

Last updated: Fall 2007