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)