Skip redundant pieces



Information Security and Privacy

The InfoSec group is devoted to cutting-edge research in information security and privacy. We apply cryptographic, statistical learning and data mining methods to all types of security and privacy applications. In particular, the research activities mostly focus on the following themes: (1) content understanding and content protection in social networks; (2) credibility and trustworthiness in social media; (3) access control and secure information dissemination; and (4) security in smart grid systems and cyber-physical systems (CPS).


NSF CNS-1422206: SBE TWC: Small: Collaborative: Privacy Protection in Social Networks: Bridging the Gap Between User Perception and Privacy Enforcement (PI: Bo Luo)

Kansas NSF EPSCoR (KNE) First Award (KNE0073319 through NSF EPS-0903806): Trustworthy and PrivacyPreserving Data Management in Smart Grid (PI: Fengjun Li)

NSF IIS-1513324: RAPID: III: Data Collection and Risk Evaluation Learning in Identifying High Risk Ebola Subpopulations for the Intervention and Prevention of Large-scale Ebola Virus Spreading (PI: Jun Huan)

High Assurance Software Development and Verification

Practically every software system is a potential security target and subject to security threats. The CSDL group conducts research in secure software engineering and high assurance system design, implementation, monitoring, and verification. We primarily focus on: (1) software security and performance, (2) high assurance systems using functional programming, (3) system verification and trusted computing platforms, and (4) secure software engineering and usable security.


DoD: ArmoredSoftware (PI: Perry Alexander)

DARPA VET Program: ACHILLES (PI: Perry Alexander)

NSF CCF-1117569: SHF: Small: Improving the Applicability of Haskell-Hosted Semi-Formal Models to High Assurance Development (PI: Andy Gill)

NSF CNS-0953268: CAREER: Implementing a New Parallelization Model for Virtual Machines (PI: Prasad Kulkarni)

Communication and Network Systems Security

The Network Systems Lab focuses on security, resilience, and survivability issues in communication networks. Our research spans from physical layer communication security to application layer information systems security. In particular, we are active in the following research topics: (1) battlefield information systems, (2) communication and sensor network security, and (3) resilient and survivable networking.


NSF CNS-1219028: NeTS: Small: Collaborative Research: Resilient Network Design for Massive Failures and Attacks (PI: James Sterbenz)

NSF CNS-1216132: NeTS: Small: Exploiting Adaptive Protocols in Packet-Based Broadband Wireless Networks (PI: Victor Frost)