Custom Development

We offer a wide variety of custom development services, designed to proactively secure projects of all sizes.

Fuzzing Frameworks

When fist evaluating the security of an application or system, Fuzzing is often a far less expensive initial approach.

Formal Modelling and Proofs

Many subtle issues only become apparent when attempting to formally prove desired properties of a system.

We can work with you to formalize your requirements and model them in an appropriate formalism (e.g. ProVerif, CryptoVerif, Tamarin, or PRISM) . This model can then be analyzed for weaknesses, and be used as a reference against the current and future implementations.