CMU Past Projects
Past Projects
- A Language and Framework for Development of Secure Mobile Applications - Jonathan Aldrich
- Improving the Usability of Security Requirements by Software Developers Through Empirical Studies and Analysis - Travis Breaux
- Secure Composition of Systems and Policies - Anupam Datta
- Security Reasoning for Distributed Systems with Uncertainties - Andre Platzer
- Systematic Testing of Distributed and Multi-Threaded Systems at Scale - Garth Gibson
- Learned Resiliency: Secure Multi-Level Systems - Kathleen Carley
- Architecture Based Self-Securing Systems - David Garlan
- Using Crowdsourcing to analyze and Summarize the Security of Mobile Applications - Norman Sadeh
- USE: User Security Behavior - Lorrie Cranor
- Trust from Explicit Evidence: Integrating Digital signatures and Formal Proofs - Frank Pfenning
- Composability of Big Data and Algorithms for Social Networks Analysis Metrics - Jurgen Pfeffer
- Race Vulnerability Study and Hybrid Race Detection - Jonathan Aldrich (PI), Du Li, Matthew Dwyer, Witawas Srisa-an
- Geo-Temporal Characterization of Security Threats - Kathleen Carley