TYPED IO

We're a small consultancy dedicated to provide advices and softwares related to haskell, rust, security and cryptography... Thorough understanding of cryptography from low level implementation to high level protocol. We've designed high level protocols and architecture making use of advanced concept like adjudication and mediation, but also implemented or binded crypto primitives

Also known as: Typed IO Ltd.