Tygar:  Research Projects

• Current:
  • Dyad (secure coprocessor architecture)
  • Electronic Franking (secure postage)
  • NetBill (electronic commerce)
• Former:
  • ITOSS (integrated toolkit for operating system security)
  • Miro (visual specification for security)
  • StrongBox (self-securing programs)