EURO-MILS 4Clogo-hipeac



Launched as a collaborative project within the EU 7th framework program, the EURO-MILS project is working on developing a solution for virtualization of heterogeneous resources that provides strong guarantees for isolation of resources by means of Common Criteria certification with usage of formal methods.

Based on the MILS architecture, the main goals of the project are to develop market relevant technologies and concepts for virtualization of heterogeneous (embedded) systems and the formal verification for those systems as part of rigorous cross-European security certification.

The project is executing well and delivering promising results (see "Publications & Deliverables" on Based on feedback, publications, and the extended participation in our recent workshop1, the discussion around MILS topic has evolved to be of widespread importance in achieving highly secure systems.

It is now time to foresee future activities to leverage and extend the knowledge and the work done. Therefore, we are planning to create the MILS Community, a group of people issued from technology providers, system integrators, users, and academia, working together to become the leading competence network on MILS architecture and technologies.

The following FAQ gives you more information about the project.

If you or someone in your organisation want

  • to learn more on this Community,
  • to participate to the early phases of the Community creation,
  • to be informed about the status of the Community,

then send us a mail at This email address is being protected from spambots. You need JavaScript enabled to view it. OR

subscribe to the MILS mailing list This email address is being protected from spambots. You need JavaScript enabled to view it..

The MILS mailing list is a public mailing list for discussions of Multiple Independent Levels of Security (MILS) architectural approach for security and safety, MILS components, MILS implementations, MILS research, MILS use-cases, real-time separation kernels, MILS evaluation and certification, MILS testing and vulnerability, and analysis of MILS systems. Please note that posting is subscriber-only and the list archives are public.

Further places to visit

Expand | Collapse


How can I subscribe to the MILS mailing list?

The subscription request is possible in two ways:

  • via email, to This email address is being protected from spambots. You need JavaScript enabled to view it. (the content and the subject of the email are not relevant) or
  • via the web form,

After the subscription the user is asked to make a confirmation with an replying email and the subscription is finished. Anytime the user can unsubscribe with an email to This email address is being protected from spambots. You need JavaScript enabled to view it. (again the content and the subject of the email are not relevant).

1 Organized in January 2015 in Amsterdam - The Netherlands, and in January 2016 in Prague - Czech Republic, the International Workshop on MILS: Architecture and Assurance for Secure Systems was the best visited MILS event ever with 70 registered participants


Frequently Asked Questions (FAQ)

Expand all | Collapse all


What is MILS?

MILS is a high-assurance security architecture based on the concepts of separation and controlled information flow. The MILS architectural approach is all about decomposition of system design into well-understood components and their interactions with the target to achieve composable security and composable assurance for the designed system.


What is the MILS Community?

The MILS Community is a global international, open membership, not-for-profit technology consortium that will become the leading competence network on MILS architecture and technologies.


Why creating the MILS Community?

Supported by the EURO-MILS project, the MILS Community opens an opportunity to

  • Align MILS-based development with European industrial needs
  • Leverage the knowledge on developing trustworthy environment in critical domains acquired during project,
  • Share the approach for using formal methods during the high-assurance certification,
  • Extend the use of MILS-based devices to other domains than avionics and automotive
  • further investigate MILS business, legal, and social acceptance


Who are the members of the MILS Community?

Members of the MILS Community are academia, technology providers, system integrators, and users.


What are the objectives of the MILS Community?

The objectives are to lower the costs of development of MILS-based products, to lower the costs of certification by supporting certification by design, as well as to lowering the costs of system integration.
The Community wants to increase the level of assurance of mixed-critical integrated systems that are building parts of many critical infrastructures as well as "connected things" deployed in the Internet of Things.


What are the activities of the MILS Community?

The MILS Community is supporting its members with services and products to use MILS in industrial products sustainably.
It is lobbying to promote new standards such as Protection Profiles and technical guidelines.
It creates a broad knowledge and expertise in MILS architecture and technology to accompany product development throughout all stages.
It assists members in complying with legal requirements, safety and security standards.
It fights for the interests of MILS Community’s members, connecting with other communities and standard organizations.


On which subjects does the MILS Community work?

The MILS Community works on keeping MILS technology open for all potential users and developing further guidance, technology, tools, models around the MILS architecture.


What provides the MILS Community?

To its members, the MILS Community provides services to use MILS architecture and technologies in industrial products and manages technical working groups where experts carefully work on various specific aspects of MILS.
To help designing and developing MILS-based products with a high level of safety and security assurance, the MILS Community provides technology, tools, models, use cases, demonstrators, …
The MILS Community organizes technical meetings twice a year to allow discussion between its members and dissemination.