Research Projects

Research Areas

  

Cross Cutting Thrusts

  [ # ]  [ A-C ]  [ D-G ]  [ H-L ]  [ M-O ]  [ P-R ]  [ S-Z ]   [ Archive by Year ]   [ Current Projects ]

Project Archive

Access Control for Pervasive Computing Information
Researcher: Peter Steenkiste

Accountable Mobile Computing Framework Based on User Behavior Modeling (2011)
Research Area: Privacy Protection | Secure Home Computing | Mobility | Trustworthy Computing Platforms and Devices
Cross Cutting Thrusts: Next Generation Threat Prediction and Response | Threat Analysis and Modeling
Researchers: Joy Ying Zhang, Martin Griss, Anind Dey

Adaptive Beamforming for Anti-Jamming and Assured Network Communications (2011)
Research Area: Next Generation Secure and Available Networks
Researchers: Patrick Tague, Jason Lohn, Derek Linden

Adaptive Strategies for Cross-Layer Jamming and Anti-Jamming (2011)
Research Area: Next Generation Secure and Available Networks
Cross Cutting Thrusts: Next Generation Threat Prediction and Response | Threat Analysis and Modeling
Researcher: Patrick Tague

Advancing Logic-Based Access Control (2011)
Research Area: Secure Home Computing
Cross Cutting Thrusts: Formal Methods | Usable Privacy and Security
Researcher: Lujo Bauer

Agora: Mobile Cloud-Computing Middleware
Research Area: Mobility
Researcher: Priya Narasimhan

Analyzing the Threat Dynamics of Complex Networked Systems
Research Area: Survivable Distributed Systems
Cross Cutting Thrusts: Threat Analysis and Modeling
Researchers: Andrew Moore, Timothy Shimeall

Android App Scanner (2011)
Research Area: Mobility
Cross Cutting Thrusts: Usable Privacy and Security
Researchers: Jason Hong, Janne Lindqvist

Applying Computational Learning Theory
Researcher: Avrim Blum

Architectural Support for Scalable Program Checkpointing
Researchers: Babak Falsafi

Artifact-FreeSanitization of Insider-Threat Data
Researcher: Roy Maxion

As-If Infinitely Ranged Integer Model
Research Area: Trustworthy Computing Platforms and Devices
Cross Cutting Thrusts: Software Security
Researcher: Robert Seacord

A Static Approach to Operating System Security II (2010)
Research Area: Trustworthy Computing Platforms and Devices
Researchers: Karl Crary, David Belotti

A Static Approach to Operating System Security IV (2011)
Research Area: Trustworthy Computing Platforms and Devices
Researcher: Karl Crary

Attacking and Defending Unreliable Hardware (2010)
Research Area: Trustworthy Computing Platforms and Devices
Cross Cutting Thrusts: Threat Analysis and Modeling | Next Generation Threat Prediction and Response
Researcher: Onur Mutlu

Attacking and Defending Unreliable Hardware (2011)
Research Area: Trustworthy Computing Platforms and Devices
Cross Cutting Thrusts: Threat Analysis and Modeling | Next Generation Threat Prediction and Response
Researcher: Onur Mutlu

Attention Economics in Information Rich Environments
Research Area: Privacy Protection
Cross Cutting Thrusts: Business Risk Analysis and Economic Implications | Usable Privacy and Security
Researcher: Alessandro Acquisti

Audio CAPTCHAs for Authenticating Human Users
Cross Cutting Thrusts: Usable Privacy and Security
Researcher: Luis von Ahn

Augmenting the Wisdom of Crowds for Anti-Phishing
Cross Cutting Thrusts: Usable Privacy and Security
Researchers: Jason Hong, Bryan Pendleton

Automatic Code Generation for Block Ciphers
Cross Cutting Thrusts: Cryptography
Researchers: Markus Püschel

Automatic Facial Landmark Annotation of Facial Images
Research Area: Security of Cyber-Physical Systems
Researcher: Marios Savvides

Automatic Tracking and Iris Recognition for Rifle Scope
Research Area: Security of Cyber-Physical Systems
Researcher: Marios Savvides

Autonomous Trustworthy Computing Platforms and Devices
Research Area: Security of Cyber-Physical Systems | Trustworthy Computing Platforms and Devices | Mobility
Cross Cutting Thrusts: Software Security
Researcher: Ole Mengshoel

Avoiding User Downtime Due to Setting & Authenticating Security
Researchers: Daniel Siewiorek, Asim Smailagic

BAP: The Binary Analysis Platform
Cross Cutting Thrusts: Software Security
Researchers: David Brumley, Andres Jager

Basis for Empowering Business IT Managers
Cross Cutting Thrusts: Threat Analysis and Modeling | Business Risk Analysis and Economic Implications
Researchers: Dawn Cappelli, Andrew Moore, Randall Trzeciak

Behavior-Based Malware Email Filtering
Research Area: Trustworthy Computing Platforms and Devices
Cross Cutting Thrusts: Software Security
Researchers: James Hoe, Jason Hong

Beyond SCADA for Electric Power Infrastructures
Researcher: Marija Ilic

Bridging the Gap Between Systems Security and Language Security
Research Area: Trustworthy Computing Platforms and Devices
Cross Cutting Thrusts: Software Security
Researcher: Jonathan McCune

Campus Navigation
Research Area: Privacy Protection | Mobility
Researchers: James Morris, Norman Sadeh

Casual Authentication
Cross Cutting Thrusts: Usable Privacy and Security
Researchers: Jason Hong, Eiji Hayashi

Circuit-Level Secure-by-Design Digital Integrated Circuits
Research Area: Trustworthy Computing Platforms and Devices
Researcher: Ken Mai

Circuit-Level Secure-by-Design Field Programmable Gate Arrays
Research Area: Next Generation Secure and Available Networks
Cross Cutting Thrusts: Software Security
Researcher: Ken Mai

Cloud Computing: Establishing Shared Utility, Informing Assured Cloud Computing Research (2011)
Research Area: Survivable Distributed Systems
Researchers: Greg Ganger, Priya Narasimhan, Chuck Cranor, Garth Gibson, Julio Lopez, David O'Hallaron

Collaborative Mobile Sensor Network Control with Extremely Noisy Measurements
Research Area: Mobility | Security of Cyber-Physical Systems
Researchers: Pei Zhang, Bruno Sinopoli

Compiling Epistemic Specifications to Secure Distributed Code
Cross Cutting Thrusts: Formal Methods | Software Security
Researcher: Frank Pfenning

Compressed Sensing for Face Recognition
Research Area: Security of Cyber-Physical Systems | Mobility
Researcher: Vijayakumar Bhagavatula

Computer-Readable Privacy Policies
Cross Cutting Thrusts: Usable Privacy and Security
Researcher: Lorrie Cranor

Continuous Authentication of Computer User: How to Avoid Computer Tailgating and Ensure Computer Security
Research Area: Security of Cyber-Physical Systems
Researcher: Marios Savvides

Contractual Anonymity
Research Area: Privacy Protection | Trustworthy Computing Platforms and Devices
Cross Cutting Thrusts: Cryptography
Researchers: Jonathan McCune, David Brumley

Creating Resilient Protocols with Data-Oriented Transport
Researcher: Dave Andersen

Data Confidentiality, Privacy, and Security (2009)
Research Area: Privacy Protection
Cross Cutting Thrusts: Formal Methods
Researcher: Stephen Fienberg

Data Confidentiality, Privacy, and Security (2010)
Research Area: Privacy Protection
Cross Cutting Thrusts: Cryptography
Researcher: Stephen Fienberg

Data Confidentiality, Privacy, and Security (2011)
Research Area: Privacy Protection
Cross Cutting Thrusts: Cryptography
Researcher: Stephen Fienberg

Deep Software Assurance: Requirements, Techniques, Field Experience
Cross Cutting Thrusts: Software Security
Researchers: Jonathan Aldrich, William Scherlis

Dependably Usable Interfaces for Security in the Real World (Renewal)
Research Area: Mobility
Researcher: Roy Maxion

Designing Security Kernels for Verification
Research Area: Trustworthy Computing Platforms and Devices
Researchers: Jonathan McCune, Anupam Datta

Design Methodologies for Security Applications
Cross Cutting Thrusts: Formal Methods
Researcher: Roy Maxion

Development & Evaluation of Resource-Aware Configurable Survivability
Researcher: Priya Narasimhan

Development of De-identification Tools for Video Surveillance Data
Researcher: Jie Yang

Diagnosing and Locating Wireless Disruption
Research Area: Mobility | Next Generation Secure and Available Networks
Researchers: Srinivasan Seshan, Peter Steenkiste, Dave Andersen

Differentially-Private Synthetic Dataset Release for Machine Learning and Clustering
Research Area: Privacy Protection
Cross Cutting Thrusts: Usable Privacy and Security
Researcher: Avrim Blum

Distributed Security Monitoring System for Survivable Networks
Research Area: Survivable Distributed Systems
Researcher: Hyong Kim

Distributed Stream Algorithms
Researchers: Christopher Olston

Dynamically Reconfigurable Antenna Arrays
Research Area: Trustworthy Computing Platforms and Devices
Researchers: Jason Lohn, Derek Linden

Effective Trust Indicators
Research Area: Privacy Protection
Cross Cutting Thrusts: Usable Privacy and Security
Researcher: Lorrie Cranor

Efficient and Effective High Speed Network Logging for Digital Forensics (2011)
Research Area: Next Generation Secure and Available Networks
Researcher: Dave Andersen

Efficient Data-Intensive Computing in Support of Security Applications
Research Area: Next Generation Secure and Available Networks | Survivable Distributed Systems
Cross Cutting Thrusts: Next Generation Threat Prediction and Response
Researcher: Dave Andersen

Efficiently Securing Non-Volatile Storage in Portable Systems (2011)
Research Area: Mobility | Secure Home Computing | Trustworthy Computing Platforms and Devices
Researcher: Ken Mai

Efficient Trojan Detection in Field Programmable Gate Arrays
Research Area: Trustworthy Computing Platforms and Devices
Researchers: Shawn Blaton

Empirically-Based Insider Threat Risk Assessment Diagnostic
Cross Cutting Thrusts: Next Generation Threat Prediction and Response | Threat Analysis and Modeling
Researchers: Dawn Cappelli, Andrew Moore

Engineering Self-Healing Systems to Support Trustworthy Computing
Researcher: David Garlan

Enhancements to Large-Scale Network Monitoring for Bot Detection
Research Area: Next Generation Secure and Available Networks
Researchers: Marcus DeShon

Enhancing DMS Software to Secure Electric Power Network Service
Researchers: Marija Ilic, Ozan Tonguz

Evolutionary Roots of Privacy and Security Concerns (2011)
Research Area: Privacy Protection
Cross Cutting Thrusts: Usable Privacy and Security
Researcher: Alessandro Acquisti

Expanding Firewall Misconfiguration Detection Based on Dynamic Routing Analysis for Large Network (2011)
Research Area: Next Generation Secure and Available Networks
Researcher: Hyong Kim

Exploratory R&D of a Technology-Driven Insider Threat Scoring Metric
Cross Cutting Thrusts: Next Generation Threat Prediction and Response | Threat Analysis and Modeling
Researchers: Andrew Moore, Randall Trzeciak

Extracting Security Policies from Source Code
Research Area: Privacy Protection
Researchers: Michael Tschantz

Fast Correlation Filtering for Biometric Recognition
Research Area: Security of Cyber-Physical Systems
Cross Cutting Thrusts: Cryptography
Researcher: Vijayakumar Bhagavatula

Fault-Tolerant Voting
Cross Cutting Thrusts: Formal Methods
Researcher: Ryan O'Donnell

Further Investigations into Wireless Broadcast
Researcher: Rohit Negi

Games and Links: Combating Web Spam
Research Area: Trustworthy Computing Platforms and Devices
Researcher: Manuel Blum

Grey Project: device-enabled authorization
Research Area: Secure Home Computing | Mobility
Cross Cutting Thrusts: Usable Privacy and Security
Researcher: Lujo Bauer

Impact of Online Social Networks on Hiring Practices (2011)
Research Area: Privacy Protection
Cross Cutting Thrusts: Business Risk Analysis and Economic Implications
Researchers: Alessandro Acquisti, Christina Fong

Improved Biometric Encryption by Using Correlation Filters
Research Area: Security of Cyber-Physical Systems
Cross Cutting Thrusts: Cryptography
Researcher: Vijayakumar Bhagavatula

Improving the Security and Usability of Text Passwords (2011)
Cross Cutting Thrusts: Usable Privacy and Security
Researchers: Lorrie Cranor, Lujo Bauer, Alessandro Acquisti

Insider Threat Analysis Center
Cross Cutting Thrusts: Next Generation Threat Prediction and Response | Threat Analysis and Modeling
Researchers: Dawn Cappelli, Andrew Moore, Randall Trzeciak

Integrated Vehicle-Network-Vision System for Transit Security
Researcher: Yang Cai

Intelligent Video Surveillance Networks for Critical Infrastructures
Research Area: Security of Cyber-Physical Systems | Next Generation Secure and Available Networks
Researcher: Raj Rajkumar

Lockdown: A Safe and Practical Environment for Security Applications
Research Area: Trustworthy Computing Platforms and Devices | Secure Home Computing
Researchers: Virgil Gligor, Adrian Perrig, Amit Vasudevan

Logical Reasoning About Obligations
Research Area: Privacy Protection
Cross Cutting Thrusts: Formal Methods
Researcher: Frank Pfenning

Machine Learning Techniques for Phishing Attacks
Research Area: Privacy Protection | Trustworthy Computing Platforms and Devices
Researcher: Jason Hong

Making the Support Vector Machine-Based Relays Secure
Research Area: Next Generation Secure and Available Networks
Researchers: Marija Ilic, Ozan Tonguz

Malicious Fault-Immune Cryptographic Hardware Implementation
Cross Cutting Thrusts: Cryptography
Researcher: Diana Marculescu

Management & Education of Risks of Insider Threat (MERIT)
Researchers: Andrew Moore, Dawn Cappelli

Measuring and Modeling Security and Privacy Laws (2010)
Research Area: Privacy Protection
Cross Cutting Thrusts: Business Risk Analysis and Economic Implications
Researchers: Sasha Romanosky, Alessandro Acquisti

Measuring and Modeling Security and Privacy Laws (2011)
Research Area: Privacy Protection
Cross Cutting Thrusts: Business Risk Analysis and Economic Implications
Researchers: Sasha Romanosky, Alessandro Acquisti, Richard Sharp

MERIT ITL: The Insider Threat Lab
Cross Cutting Thrusts: Threat Analysis and Modeling | Next Generation Threat Prediction and Response | Business Risk Analysis and Economic Implications
Researchers: Dawn Cappelli, Andrew Moore, Randall Trzeciak

Mixed Effects Models for Predicting Anomaly-Detector Error Rates (2011)
Research Area: Security of Cyber-Physical Systems
Researcher: Roy Maxion

Mobile Users Effectively Control Privacy in a Friend-Finder Application
Research Area: Privacy Protection | Mobility
Cross Cutting Thrusts: Usable Privacy and Security
Researchers: Norman Sadeh, Lorrie Cranor, Jason Hong

Multi-Biometric Authentication System (MBAS)
Researcher: Vijayakumar Bhagavatula

Multi-Biometrics for Security & Surveillance
Research Area: Security of Cyber-Physical Systems
Researchers: Marios Savvides, Taihei Munemoto, Keshav Thirumalai Seshadri, Shreyas Venugopalan

MultiBiometric Signal Exploitation, Analysis and Acceleration
Research Area: Security of Cyber-Physical Systems
Researcher: Marios Savvides

Multichannel Modeling for Enhancing and Masking Speech Communications
Research Area: Mobility
Cross Cutting Thrusts: Usable Privacy and Security
Researchers: Ted Selker, Ian Lane

Multi-Modal Biometric Sensor Networks
Researcher: Marios Savvides

Multi-Modal Biometric Verification
Research Area: Security of Cyber-Physical Systems
Researcher: Vijayakumar Bhagavatula

Next-Generation Binary Analysis Techniques and Platform (2011)
Cross Cutting Thrusts: Software Security | Formal Methods
Researcher: David Brumley

One-Finger, Two-Factor Authentication with Number Pads
Research Area: Security of Cyber-Physical Systems
Researcher: Roy Maxion

Online Crime Economics: Modeling Advertising and Retail Operations (2011)
Research Area: Privacy Protection
Cross Cutting Thrusts: Cryptography
Researchers: Nicolas Christin, Nektarios Leontiadis, Timothy Vidas

On Privacy and Compliance (2009)
Research Area: Privacy Protection
Cross Cutting Thrusts: Business Risk Analysis and Economic Implications
Researchers: Anupam Datta, Zeliha Dilsun Kaynar

On Privacy and Compliance (2010)
Research Area: Privacy Protection
Cross Cutting Thrusts: Cryptography
Researchers: Anupam Datta, Zeliha Dilsun Kaynar

Open Source & Outsourced Software Acceptance Evaluation & Assurance
Researchers: James Herbsleb, Jonathan Aldrich

Open Source Evaluation and Assurance (2008)
Researchers: William Scherlis, James Herbsleb

Open Source Evaluation and Assurance (2009)
Cross Cutting Thrusts: Software Security | Formal Methods
Researcher: William Scherlis

PASIS
Researcher: Greg Ganger

Personal Information Revelation in Online Social Networks
Research Area: Privacy Protection
Researcher: Alessandro Acquisti

Personal Information Security, Conflation of Dissemination and Access, and Illusion of Control
Research Area: Privacy Protection
Cross Cutting Thrusts: Business Risk Analysis and Economic Implications
Researcher: Alessandro Acquisti

Pi (Path Identifier) Packet Marking Scheme
Researcher: Adrian Perrig

Principled Approach to Web Security
Cross Cutting Thrusts: Software Security | Formal Methods
Researchers: Anupam Datta, Limin Jia, Deepak Garg

Privacy, Information Disclosure, & Authorization from a Logical Perspective
Researchers: Frank Pfenning, Lujo Bauer

Privacy and Security in Real Time Monitoring Systems
Research Area: Mobility | Privacy Protection
Researchers: Daniel Siewiorek, Asim Smailagic, Martin Griss

Privacy and the Illusion of Control (2011)
Research Area: Privacy Protection
Researchers: Alessandro Acquisti, Laura Brandimarte, George Lowenstein

Privacy and Usability in Pervasive Computing Environments
Cross Cutting Thrusts: Usable Privacy and Security
Researchers: Norman Sadeh, Lujo Bauer

Privacy Decision-Making (2010)
Research Area: Privacy Protection
Cross Cutting Thrusts: Usable Privacy and Security
Researchers: Lorrie Cranor, Alessandro Acquisti, Robert Mcguire

Privacy Decision-Making (2011)
Research Area: Privacy Protection
Cross Cutting Thrusts: Usable Privacy and Security
Researchers: Lorrie Cranor, Alessandro Acquisti

Privacy Nudging
Research Area: Privacy Protection
Cross Cutting Thrusts: Usable Privacy and Security
Researchers: Alessandro Acquisti, Lorrie Cranor, Norman Sadeh

Probabilistic Verification of Security Properties in Self-Adaptive Systems
Cross Cutting Thrusts: Software Security
Researcher: David Garlan

Process Variation-Aware Modeling, Analysis, and Prevention of Thermal Attacks in Many-Core Systems
Research Area: Trustworthy Computing Platforms and Devices
Cross Cutting Thrusts: Threat Analysis and Modeling
Researcher: Diana Marculescu

Proposal: Trust-free Garbage Collection for Mobile Code
Research Area: Survivable Distributed Systems
Researcher: Karl Crary

Protecting Browsers from Mixed Content Injection Attacks
Cross Cutting Thrusts: Usable Privacy and Security | Software Security
Researcher: Collin Jackson

Protecting Privacy and Confidentiality of Information
Research Area: Privacy Protection
Researcher: Rahul Telang

Prototyping Security Applications for Ambient Intelligence
Researcher: Radu Marculescu

Providing Privacy & Authentication
Research Area: Privacy Protection
Researcher: Rohit Negi

Reconciling Privacy and Usability by Learning Default Privacy Policies (2011)
Research Area: Mobility | Privacy Protection
Cross Cutting Thrusts: Usable Privacy and Security
Researcher: Norman Sadeh

Response to Software Vulnerabilities
Cross Cutting Thrusts: Software Security
Researcher: Ashish Arora

RFMaster: RFID-based Secure Access to Physical Spaces
Researcher: Raj Rajkumar

Risk Analysis for Securing Wireless Ad-Hoc Networks
Research Area: Mobility | Next Generation Secure and Available Networks
Researcher: Radu Marculescu

Robust, Secure, Efficient Cyber-Physical Systems (2011)
Research Area: Security of Cyber-Physical Systems
Cross Cutting Thrusts: Threat Analysis and Modeling
Researcher: Norman Sadeh

Robust, Secure, Efficient Networked Embedded Control Systems (2010)
Research Area: Mobility | Trustworthy Computing Platforms and Devices
Cross Cutting Thrusts: Software Security
Researcher: Bruno Sinopoli

Robust Iris & Face Acquisition at 8-13m for the War-Fighter
Research Area: Security of Cyber-Physical Systems
Researcher: Marios Savvides

Robust Multi-Biometrics Identification Using Soft-Biometric Intelligence
Research Area: Security of Cyber-Physical Systems
Researcher: Marios Savvides

SAF: Applying Assurance to the Survivability Analysis Framework
Research Area: Survivable Distributed Systems

Saferide
Research Area: Mobility
Researcher: James Morris

Securable, Usable Context Toolkit for Mobile Applications
Research Area: Mobility
Cross Cutting Thrusts: Usable Privacy and Security
Researchers: Martin Griss, Anind Dey, Pei Zhang, Joy Ying Zhang

Secure Access to Buildings using RFID Technologies & Video Logging
Researcher: Raj Rajkumar

Secure Ad Hoc Routing Protocols
Research Area: Mobility
Researcher: Adrian Perrig

Secure Broadcast Communication: in Wired and Wireless Networks
Research Area: Next Generation Secure and Available Networks
Researcher: Adrian Perrig

Secure Communication in Sensor Networks
Research Area: Next Generation Secure and Available Networks
Researcher: Adrian Perrig

Secure Distributed Logic Programming
Cross Cutting Thrusts: Formal Methods | Software Security
Researcher: Frank Pfenning

Secure Home Storage (2011)
Research Area: Secure Home Computing
Cross Cutting Thrusts: Usable Privacy and Security
Researchers: Lujo Bauer, Lorrie Cranor, Greg Ganger

Secure Network & Communication Infrastructure
Research Area: Next Generation Secure and Available Networks
Researcher: Ozan Tonguz

Secure Routing in Sensor Networks
Researcher: Adrian Perrig

Secure Sensor Networks
Research Area: Next Generation Secure and Available Networks
Researcher: Adrian Perrig

Securing the Digital Home
Research Area: Secure Home Computing
Cross Cutting Thrusts: Usable Privacy and Security
Researchers: Lujo Bauer, Lorrie Cranor, Greg Ganger, Adrian Perrig

Security and Privacy Risk Management in Organizations
Cross Cutting Thrusts: Business Risk Analysis and Economic Implications
Researchers: Nicolas Christin, Anupam Datta

Security Issues in Information Naming (2011)
Research Area: Secure Home Computing | Survivable Distributed Systems
Cross Cutting Thrusts: Next Generation Threat Prediction and Response
Researcher: Srinivasan Seshan

Security Patterns: Assurance for Secure Concurrent and Distributed Computing
Cross Cutting Thrusts: Next Generation Threat Prediction and Response | Software Security | Formal Methods
Researchers: William Scherlis, Jonathan Aldrich

Security Quality Requirements Engineering (SQUARE) Project
Cross Cutting Thrusts: Formal Methods | Software Security
Researchers: Nancy Mead, Lorrie Cranor

Self-Configuring Wireless Networks
Researchers: Srinivasan Seshan, Peter Steenkiste

Self-Securing Devices
Researcher: Greg Ganger

Self-Securing Storage
Researcher: Greg Ganger

Semantic Geotagging for Situational Awareness During Disaster Response
Research Area: Trustworthy Computing Platforms and Devices | Mobility
Cross Cutting Thrusts: Usable Privacy and Security
Researchers: Martin Griss, Joy Ying Zhang, Anind Dey, Ray Bareiss, Steven Rosenberg

Semantic Web Reasoning Technologies for Web Privacy
Researcher: Norman Sadeh

SENSIBLEIntegrating SENSing & Processing
Researcher: Diana Marculescu

Sensor Network Security Monitoring and Management System
Research Area: Next Generation Secure and Available Networks
Researcher: Adrian Perrig

Simplifying Access Control for Home Networking
Research Area: Privacy Protection | Security of Cyber-Physical Systems
Researchers: Jason Hong, Bryan Pendleton

Simplifying Logins with Web Ticket (2011)
Research Area: Security of Cyber-Physical Systems | Privacy Protection
Researchers: Jason Hong, Eiji Hayashi

Sluice: Secure Software Upgrades in Sensor Networks
Research Area: Mobility | Next Generation Secure and Available Networks
Researchers: Priya Narasimhan, Michael Chuang

Smart Meters and Their Impact on Residential Privacy (2011)
Research Area: Security of Cyber-Physical Systems | Privacy Protection
Researcher: Anthony Rowe

Soft Biometrics from Emerging Media (2010)
Research Area: Security of Cyber-Physical Systems
Researchers: Yang Cai, Stefan Kremser, Pat Sweeney

Soft Biometrics from Emerging Media (2011)
Research Area: Security of Cyber-Physical Systems
Researchers: Yang Cai, Mel Siegel, Brian Zeleznik, Rich Noland, Alex Nicoll

Software-Based Attestation for Peripherals (2011)
Research Area: Trustworthy Computing Platforms and Devices
Cross Cutting Thrusts: Threat Analysis and Modeling | Software Security
Researchers: Jonathan McCune, Adrian Perrig

SQUARE: Requirements Engineering for Improved System Security
Research Area: Trustworthy Computing Platforms and Devices
Cross Cutting Thrusts: Formal Methods
Researcher: Nancy Mead

Starfish: Scalable Survivable Middleware
Researcher: Priya Narasimhan

Statistical Methodology and Disclosure Limitation
Researcher: Stephen Fienberg

Super-Resolution for Iris Recognition
Research Area: Security of Cyber-Physical Systems
Researcher: Vijayakumar Bhagavatula

Supporting Trust Decisions
Researchers: Lorrie Cranor, Norman Sadeh

Survivable Distributed Storage: From Theory to Reality
Research Area: Survivable Distributed Systems
Researchers: Greg Ganger, Manish Prasad

Surviving Network Partitioning in Distributed Wireless Systems
Research Area: Survivable Distributed Systems
Researcher: Priya Narasimhan

System Integrity Manager for the Everyday Users
Research Area: Secure Home Computing
Cross Cutting Thrusts: Usable Privacy and Security
Researchers: Hyong Kim, James Hoe

System Quality Requirements Engineering Process (SQUARE)
Researcher: Nancy Mead

Targeted Software Assurance
Research Area: Survivable Distributed Systems
Cross Cutting Thrusts: Formal Methods | Software Security
Researchers: William Scherlis, Jonathan Aldrich

Techniques for Compositional Security: Foundations, Mechanized Reasoning and Applications (2011)
Research Area: Trustworthy Computing Platforms and Devices
Cross Cutting Thrusts: Software Security | Formal Methods
Researchers: Anupam Datta, Limin Jia, Deepak Garg

The CAPTCHA Project
Researchers: Manuel Blum, Luis von Ahn

The Dragnet System for Network Forensic Analysis
Researcher: Hui Zhang

The Economic Incentive to Improve Software Security
Researchers: Ashish Arora, Rahul Telang

The TESLA Broadcast Authentication Protocol
Researcher: Adrian Perrig

Three-Dimensional Craniofacial Modeling for Novel Two-Dimensional Pose Synthesis and Age Progression
Research Area: Security of Cyber-Physical Systems
Researcher: Marios Savvides

Transient Customization of Mobile Computing Infrastructure
Research Area: Mobility
Researcher: Mahadev Satyanarayanan

Trinetra: Mobile Technologies for Assisting the Blind & Visually Impaired
Research Area: Mobility | Secure Home Computing
Researchers: Priya Narasimhan, Moshe Mahler

Trusted Computing
Research Area: Trustworthy Computing Platforms and Devices
Researchers: Anupam Datta, Adrian Perrig, Virgil Gligor, Amit Vasudevan

Trustworthy Execution Environments on Mobile Devices (2011)
Research Area: Trustworthy Computing Platforms and Devices
Cross Cutting Thrusts: Software Security | Threat Analysis and Modeling
Researchers: Jonathan McCune, Amit Vasudevan, James Newsome, Adrian Perrig

Understanding Human Behaviors at Large Scales through Mobile Devices (2011)
Research Area: Privacy Protection | Security of Cyber-Physical Systems
Researchers: Jason Hong, Norman Sadeh, Justin Cranshaw, Eran Toch

Understanding User Investments & Response to Security Threats
Cross Cutting Thrusts: Business Risk Analysis and Economic Implications | Threat Analysis and Modeling
Researcher: Nicolas Christin

Usable Cybertrust Indicators (2010)
Cross Cutting Thrusts: Usable Privacy and Security
Researcher: Lorrie Cranor

Usable Cybertrust Indicators (2011)
Cross Cutting Thrusts: Usable Privacy and Security
Researchers: Lorrie Cranor, Julie Downs

Usable security and privacy for context-aware mobile applications
Research Area: Mobility
Cross Cutting Thrusts: Usable Privacy and Security
Researchers: Martin Griss, Anind Dey, Pei Zhang

User-Controllable Policy Learning
Research Area: Mobility | Privacy Protection
Cross Cutting Thrusts: Usable Privacy and Security
Researchers: Norman Sadeh, Lorrie Cranor

User Controllable Security & Privacy for Mobile Social Networking
Research Area: Mobility | Privacy Protection
Cross Cutting Thrusts: Usable Privacy and Security
Researchers: Norman Sadeh, Lorrie Cranor, Jason Hong

User-Controllable Security and Privacy for Pervasive Computing
Research Area: Privacy Protection | Mobility
Cross Cutting Thrusts: Usable Privacy and Security
Researchers: Norman Sadeh, Jason Hong, Lorrie Cranor, Lujo Bauer

Use Your Illusion: Using Visual Distortion to Secure Image-Based Authentication
Cross Cutting Thrusts: Usable Privacy and Security
Researchers: Jason Hong, Nicolas Christin, Eiji Hayashi

Vajra: Benchmarking Survivability in Distributed Systems
Researcher: Priya Narasimhan

Visualizing Home Networks
Research Area: Secure Home Computing
Cross Cutting Thrusts: Usable Privacy and Security
Researcher: Jason Hong

VMA: Dynamic and Secure Heterogeneous System for Elder Care
Research Area: Next Generation Secure and Available Networks | Mobility | Privacy Protection
Cross Cutting Thrusts: Usable Privacy and Security
Researchers: Pei Zhang, Martin Griss, Raj Rajkumar, Daniel Siewiorek, Asim Smailagic

Wireless Sensor Networks for People-Tracking
Research Area: Next Generation Secure and Available Networks | Security of Cyber-Physical Systems
Researcher: Raj Rajkumar

Wireless Video Sensor Networks for Security Applications
Researcher: Radu Marculescu

XTREC: Secure Real-time Execution Trace Recording and Analysis on Commodity Platforms
Research Area: Trustworthy Computing Platforms and Devices | Security of Cyber-Physical Systems
Cross Cutting Thrusts: Software Security
Researchers: Adrian Perrig, Virgil Gligor, Amit Vasudevan

  [ # ]  [ A-C ]  [ D-G ]  [ H-L ]  [ M-O ]  [ P-R ]  [ S-Z ]   [ Archive by Year ]   [ Current Projects ]