Research and Grants

LASCAC Read more about Development and Integration of a Generic Mobile Computing Platform into Graduate and Undergraduate Curricula in Computer Science and Software Engineering

Development of the PCAP Program. NIH, a subcontract through Washington University Genome Sequencing Center Read more about Development of the PCAP Program

Intelligent Multi-Agent Systems for Intrusion Detection . Department of Defense University Research Program (MDA904-98-R-S221) Read more about Intelligent Multi-Agent Systems for Intrusion Detection

Machine Learning Algorithms and Software for Collaborative Medical Decision Support. Grow Iowa Values Fund, and Collaborative Health Solutions, LLC Read more about Machine Learning Algorithms and Software for Collaborative Medical Decision Support

Abstract:

Read more about SHF: Medium: RUI: Collaborative Research: Advanced Traceability for Composing Product Line Safety Cases

Abstract: Read more about Interactive and Verifiable Composition of Web Services To Satisfy End-User Goals

Abstract:

Read more about An Integrated Solution to Provide Privacy, Confidentiality, Integrity and Reliability Protection for Sensor Data Management

ISU Research Foundation Read more about On Implementation of GeoGramming

Automatic Identification of Least-Stringent, Appropriate Confidentiality Level for Information Systems Data. NSF I/U CRC Security and Software Engineering Research Center/ISU Center for Information Protection Read more about Automatic Identification of Least-Stringent, Appropriate Confidentiality Level for Information Systems Data

Enhancing the Learning Experience in Undergraduate Education. Cargill, Inc. Read more about Enhancing the Learning Experience in Undergraduate Education

Algorithms and Software for Collaborative Medical Decision Support. Collaborative Health Solutions, LLC  Read more about Algorithms and Software for Collaborative Medical Decision Support

In the age of globalization and informatization, the study of information propagation in the network of connected entities plays an important role in understanding and analyzing security and safety concerns. Entities in the network can be people, groups or computing devices, while the network is the relationship describing how one entity can influence or can be influenced by others. In epidemiology, the network of entities may correspond to the population groups and their spatial/proximity relationships. Read more about A Model Checking based Framework for Analyzing Information-Propagation over Networks

Abstract:

Title: CRD: Collab Rsch: JML Community Infr-Revitalizing Tools and Documentation to Aid Formal Methods Rsch

Project Proposed:

This collaborative project, revitalizing tools and documentations to aid formal methods research, aims to

• Enhance JML's infrastructure including its type checker, runtime assertion checking compiler, and IDE support;
• Make JML's software infrastructure more extensible; 

Abstract:

Read more about SFS Scholarships for Information Assurance Students

Institute for Physical Research and Technology, Iowa State University Read more about Location Privacy Protection for Location-based Services

Using Auto-Generated Diagnostic Trees To Support Verification of Safety-Critical Test Procedures (awarded to Jet Propulsion Laboratory) . NASA

Read more about Using Auto-Generated Diagnostic Trees To Support Verification of Safety-Critical Test Procedures

Wireless IDS - Intrusion Detection in Wireless Ad Hoc Networks. NSF I/U CRC Center for Information Protection Read more about Wireless IDS - Intrusion Detection in Wireless Ad Hoc Networks

Intergovernmental Personnel Act Assignment, Vasant Honavar, Information Integration and Informatics Program, Computer and Information Sciences and Engineering Directorate. NSF Read more about Intergovernmental Personnel Act Assignment

Affiliated Computer Science Faculty: Carl K. Chang, Les Miller, Alexander Stoytchev, Wallapak Tavanapong, Johnny Wong Read more about Virtual Reality Applications Center

Abstract: Read more about CPATH-1: Experimenting with an Open Platform for the New Interdisciplinary Study on Gerontechnology

Abstract:

Read more about Collaborative Research: NeTS-NECO: Energy Replenishment for Wireless Sensor Networks

Institute for Physical Research and Technology, Iowa State University Read more about ePost-it: A Spatial Messaging System for Cellular Networks

Safety Analysis of Evolving Product Lines . NSF

Read more about Safety Analysis of Evolving Product Lines

Specification-Guided Misuse & Anomaly Intrusion Detection . NSF I/U CRC Center for Information Protection Read more about Specification-Guided Misuse & Anomaly Intrusion Detection