Our philosophy is rooted in the belief that correct and secure systems are built on a solid mathematical foundation, with cryptography and formal methods forming its main pillars. This allows systems with well-specified security goals, to be designed, analyzed, and proven secure under all modelled circumstances in well-defined scenarios.
The R&D activities of Abstractions Lab follow an open research model, which entails publishing its designs, software implementations and scientific results via open platforms, using open and permissive licenses. Moreover, Abstractions Lab strives to conduct high quality research to produce reliable solutions, assured by having these results published in peer-reviewed, top-level scientific venues.
