Secure Systems Department

The secure systems group is part of the security and privacy department and our main focus is on platform security. Members of our team have been working on a variety of topics. These include secure hypervisors, physically secure coprocessors (4758/4764), secure operating systems (LSM), embedded operating systems, TCPA/TCG Linux support, policy verification (SELinux), personal firewalls, secure service processors, and secure applications. Click here for an overview poster that describes some of our recent work as of November 2005.

Our team still has research positions available. If you are a recent Ph.D. graduate with a strong background in systems and security and you are interested in the topics we work on, feel free to contact Dimitrios Pendarakis for more information.

Selected Projects Trusted Virtual Data Center (TVDc) Trusted Virtual Domains (TVD) Hypervisor Security Architecture (sHype) Virtual Trusted Platform Module (vTPM) Integrity Measurement Architecture (IMA) Linux Security Analysis Tools (VALI) Linux for the 4758 Secure Coprocessor Secure Coprocessing Matchbox		Team Members Stefan Berger Ramón Cáceres Kenneth A. Goldman Paul A. Karger Suzanne K. (Sue) McIntosh Dimitrios Pendarakis (Manager) David R. Safford Reiner Sailer David C. Toll Enriquillo (Ray) Valdez
Collaborators and Alumni John L. Griffin, BAE Systems Trent Jaeger, Pennsylvania State University Sean Smith, Dartmouth College Leendert van Doorn, Advanced Micro Devices (AMD) Ronald Perez , Senior Manager, IBM Research		Summer Interns 2005 Vinod Ganapathy, Univ. of Wisconsin-Madison Mahadevan Gomathisankaran, Iowa State Univ. Jonathan M. McCune, Carnegie Mellon University 2006 Scott T. Garriss, Carnegie Mellon University Bryan D. Payne, Georgia Institute of Technology

] Last updated 24 Mar 2008