End System Security

Page Content

This area includes tools and methods for building software artifacts, servers, and networks that are resistant to attacks and failures. This includes research into vulnerability assessment and identification, programming languages and tools for secure programming, mobile code and "sandboxes," proof-carrying systems, trusted embedded systems, resilient server architectures, protection against malicious software, dynamic reconfiguration of systems, hardware architecture design, fault-tolerance, code tamperproofing, and penetration testing. Research into more secure operating systems and database systems falls in this area, as does research into better human-computer interfaces for security (HCI).

End System Security Projects

A Safe, Virtual Imaging Instrument for Logically Destructive Experiments (ReAssure)

Principal Investigator: Pascal Meunier

Assurable Configuration of Security Policies in Enterprise Networks

Principal Investigator: Sanjay Rao

Collaborative Attacks in WiMAX

Principal Investigator: Bharat Bhargava

Convicting Exploitable Software Vulnerabilities: Practical Input Provenance-Based Approach

Principal Investigator: Xiangyu Zhang

Creation of a Usability Engineering Laboratory to Analyze the Potential Impact of Information Technology-Induced Errors and Breaches of Security in Healthcare

Principal Investigator: James Anderson

Cryptanalysis of RSA

Principal Investigator: Samuel Wagstaff

Defending Against Collaborative Packet Drop Attacks on MANET

Principal Investigator: Bharat Bhargava

Finding Flaws in Unmodified Distributed Systems

Principal Investigator: Charles Killian

Invisible Watermarking Based on Creation and Robust Insertion-Extraction of Image Adaptive Watermarks

Principal Investigator: Bharat Bhargava

JSLocker: Security for JavaScript

Principal Investigator: Jan Vitek

Least Privilege Enforcement through Secure Memory Views

Principal Investigator: Patrick Eugster

Migrating Enterprises to Hybrid Cloud Architectures

Principal Investigator: Sanjay Rao

Modeling Biometric Modalities onto the HBSI (Human Biometric Sensor Interaction) Method

Principal Investigator: Stephen Elliott

Secure Group Communication Over Wired/Wireless Networks

Principal Investigator: Xukai Zou

Techniques to Retrofit Legacy Code

Principal Investigator: Ninghui Li