Hoppa till huvudinnehåll
RISE logo

PROSPER: Provably Secure Execution Platforms for Embedded Systems

I PROSPER utvecklas nästa generations ramverk för verifierade, säkra hypervisor för inbyggda system.

PROSPER fokuserar på två områden:

  1. Isolering m.h.a. virtualisering: vi utvecklar en öppen källkod hypervisor som stödjer virtualisering av t.ex. Linux på inbyggda system.
  2. Formell verifiering: vi utvecklar verktyg för formell modellering och verifiering av vår hypervisor för ARM.

Sammanfattning

Projektnamn

PROSPER

Status

Avslutat

RISE roll i projektet

Deltagare

Projektstart

Varaktighet

5 år

Partner

Royal institute of technology (KTH)

Projektmedlemmar

Kontaktperson

Arash Vahidi

Senior Researcher

+46 10 228 43 61
arash.vahidi@ri.se

Läs mer om Arash