Konkreta instanseringar för idealiserade modeller

Forskningsprojekt, 2025 – 2030

Grundläggande kryptografi är en stapelvara i vardagen. Vi tar sekretessen för vår onlinekommunikation för given: Även om vi sitter på en offentlig plats som ett bibliotek eller ett café, när vi ansluter till en säker webbplats är vi säkra på att ingen annan kan lyssna på kommunikationen. Likaså när vi använder digitala signaturer, t.ex. via BankID kan ingen förfalska denna signatur och anta våra identiteter. Hotet från kvantdatorer kräver en ny uppsättning algoritmer för att hålla dessa säkerhetslöften rimliga. Kryptografer har utvecklat ritningar för att designa kryptering och signaturalgoritmer -- förenkla utformningen av nya kandidater och se till att den kryptografi vi använder har starkast möjliga garantier. Tyvärr kan dessa ritningar endast visat sig säkra i en förenklad miljö. I det här projektet strävar vi efter att rätta till situationen: tillhandahålla fullständiga säkerhetsbevis för dessa kärnritningar i den generella helhet som vi bryr oss om för våra applikationer. Förutom att försäkra oss om giltigheten av nuvarande bästa praxis, kan projektet också informera kryptografer vilka detaljer de behöver fokusera på när de skapar nya kryptografiska primitiver: Vi vet att ritningarna inte fungerar för vissa artificiella exempel, samtidigt som de ger säkra primitiver för alla de mest naturliga exemplen. Tyvärr har vi inte en bra förståelse för vilka egenskaper hos "naturliga" scheman som gör ritningarna säkra och i detta projekt kommer vi att ge en exakt karaktärisering av vilka egenskaper som är nödvändiga.