Current Projects

	Array Bound Checking Using Segmentation Hardware
	Inter Overflow Preventing Compiler
	Program Smantics-Aware Intrusion Detection/Prevention
	BIRD: A Binary Instrumentation and Analysis Infrastructure for Software Security
	Foreign Code Detection
	Tamper-Resistant Software Protection
	Feather-weight Virtual Machine
	Automatic Detection, Identification, and Repair of Control-Hijacking Attacks
	Dusk: Develop at User level inStall at Kernel level

      Completed Projects

	Protocol-Aware Network-Based Detection of Buffer Overflow Attacks
	WattProbe: A Linux-based Platform for Energy Measurement and Management
	Application Specific File Prefetching
	RAD: A Compile-Time Solution to Host-Base Buffer Overflow Attack Detection
	Integrated Global Resource (CPU, I/O) Allocation and Scheduling for Real-Time Applications
	Intra-Address Space Protection Using Segmentation Hardware
	Network Device Operating System
	Resource Management for 3D Graphics Hardware
	Spout: A Distributed Run-Time Engine for Safe Java Applet Execution

This page was last updated on 7-30-2007.