Myrelabs is a software company founded in 2010. We specialize in software for embedded/IoT and other targets requiring deep hardware expertise.
We have a strong formal background. Our work often begins with standards such as Common Criteria, or review of state-of-the-art research.
Thanks to the broad nature of our work all team members have experience with both high-level and low-level aspects of software engineering.
We took part in several high-security projects including development of an EAL5+ certified product for an S&P 500 customer.