About​

The philosophy and mission of Abstractions Lab

its origin and history

Established in 2022

Origin and history: itrust Abstractions Lab, operating as “Abstractions Lab”, is a consulting and R&D company, co-founded as a spin-off of itrust consulting by professionals from the academic and industrial sector.

Abstractions Lab provides solutions aimed at ensuring the trustworthiness and security of digital systems by advancing the state-of-the-art and applying novel results from computing science and mathematics for the design, development, and analysis of conceptual solutions as well as concrete tools for secure software and cyber physical systems.

We believe correct and secure systems need a solid mathematical foundation. Cryptography and formal methods form its main pillars. As a result, we can design, analyze, and prove systems secure under all modelled circumstances. To do this, we clearly specify their security goals within well-defined scenarios.

Furthermore, Abstractions Lab’s R&D activities follow an open research model. This means we publish our designs, software implementations, and scientific results on open platforms, using open and permissive licenses. In addition, we strive to conduct high-quality research that produces reliable solutions. To ensure this, we publish our results in peer-reviewed, top-level scientific venues.

Founding members

Dr. Arash Atashpendar, Dr. Itzel Vazquez Sandoval, Dr. Carlo Harpes, Prof. Dr. Peter Y. A. Ryan, Ensuifudine Omar (MSc)

mission​

To provably ensure the security of cyber-physical systems, grounding their trustworthiness in solid mathematical foundations rather than assumption.

vision​

Correct and secure systems require solid mathematical foundations: cryptography & formal methods.

values​

Open research model
Scientific results published on open platforms
Open-source software implementations released under permissive licenses
Scroll to Top