De beveiliging en het ontwerp van geverifieerde encryptieprogramma's.

Het besef van het belang van data- en communicatie-beveiliging is sterk toegenomen vanwege het stijgend aantal aanvallen op systemen met weinig of geen bescherming. Gebrek aan, of foutief gebruik van sterke cryptografische algoritmes kan te wijten zijn aan het feit dat bestaande oplossingen niet efficiënt genoeg zijn, onpraktische beperkingen hebben, of het feit dat hun analyse niet overeenkomt met gebruik in de praktijk. Deze thesis bestudeert de symmetrische-sleutel algoritmes om integriteit en vertrouwelijkheid van data te verzekeren, namelijk, bericht-authenticatie en geauthenticeerde encryptie-schemas. De manier waarop de beveiliging van geauthenticeerde encryptie-schema's degradeert wanneer ze geïmplementeerd worden in omgevingen waar theoretische veronderstellingen niet noodzakelijk gerespecteerd worden, de zogenaamde nonce-misbruik en release of unverified plaintext omgevingen, wordt formeel bestudeerd. Ontwerpen van geauthenticeerde encryptie-algoritmes worden geanalyseerd met oog op efficiëntie. Verder worden beperkingen van bericht-authenticatie algoritmes in omgevingen met implementatie-beperkingen, zoals gevonden in toepassingen van de internet of things, besproken. Een nieuw ontwerp dat sleutels langer kan gebruiken dan standaard algoritmes, LightMAC, wordt geïntroduceerd, en een uitgebreide veiligheidsanalyse toont aan dat een bestaande constructie, PMAC, meer beveiliging zou kunnen aanbieden dan oorspronkelijk gedacht.