Foundational Verification of Cryptographic Primitives

Autor:	Hvass, Benjamin Salling
Jazyk:	dánština
Rok vydání:	2023
Zdroj:	Hvass, B S 2023, Foundational Verification of Cryptographic Primitives . Aarhus Universitet .
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=pure_au_____::6dc939ed8dbbc4df162f6d3ef9da8349 https://pure.au.dk/portal/da/publications/foundational-verification-of-cryptographic-primitives(226573d0-235b-4f9d-a0bc-65edcf9c4a08).html Zobrazit plný text záznamu