Research Projects - Team for Research in Ubiquitous Secure Technology (TRUST)

Large Projects

• BitBlaze: Binary Analysis for COTS Protection and Malicious Code Defense (BitBlaze)
  Dawn Song
• Human Factors in Computer Security
  Doug Tygar

Small Projects

• Cryptographic Constructions for Secure, Privacy-Preserving Distributed Information Sharing (Seaglass)
  Dawn Song, John Bethencourt and Elaine Shi
• Information-Theoretic Security in Cryptography
  Amin Aminzadeh Gohari, Venkat Anantharam and Martin Wainwright
• SMT Solver for Security
  Susmit Kumar Jha and Sanjit A. Seshia