Als High Assurance Plattformen werden Virtualisierungsplattformen bezeichnet, welche als Basis für die Verwendung derselben Hardware von mehreren Nutzern mit hoher Sicherheit (Vertraulichkeit und Integrität) dienen. Die formale Verifizierung erfolgt unter Verwendung von formal überprüfbaren Eigenschaften und spezifischer Merkmale der zugrundeliegenden Hardware. Dies ermöglicht eine Bereitstellung von Sicherheit für kritische digitale Dienste und Infrastrukturen durch Entwicklung einer zuverlässigen, kosten- und ressourceneffizienten virtualisierten Plattform.