project / private
HTPL
A user-friendly interface from my M.Sc. thesis work on proprietary PKI policy languages.
HTPL came out of thesis work involving reverse engineering, formalization, and interface design for low-level trust policy languages. Some details are under NDA.
Stack
- Haskell