Members of the Cyber-Security Research group are engaged in cutting-edge research on all aspects of computers, networks, and information security. We do both theoretical and systems work in areas such as data and application security, network security, security modeling, risk management, trust models, privacy and digital forensics, database systems, e-commerce, and formal methods in software engineering. Current research includes:
- Access control models and techniques
- Anomaly detection
- Attack modeling: security risk models, optimal security hardening
- Cyber-physical systems security: heavy vehicles, oil, and natural gas production facility, nuclear power plants
- Data and applications security
- Event processing and data streams
- Firmware security
- IoT security
- Privacy and anonymity
- Security protocols
- Trust Models: non-binary context-sensitive model of trust
- Understanding human factors in security
- UML model analysis
