We offer a wide variety of custom development services, designed to proactively secure projects of all sizes.
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.