Delarkiv
Velg et delarkiv for å bla i samlingene
Faculty of Humanities [3123]
Faculty of Law [2028]
Faculty of Medicine [6833]
Faculty of Psychology [2721]
Faculty of Social Sciences [3485]
Publication series [479]
University of Bergen Library [5559]
Nye registreringer
-
Finding shared RSA factors in the Certificate Transparency logs
(Master thesis, 2022-05-13)When generating RSA keys, proper random generators are crucial. If the generators are not truly random, keys may be generated with the same factors, making them vulnerable to compromise. Doing a simple greatest common ... -
A Cubical Implementation of Homotopical Patch Theory
(Master thesis, 2022-06-01)We consider theoretical models of version control systems based on Homotopy Type Theory (HoTT). The main contribution is an implementation of Angiuli et al.’s Homotopical Patch Theory in Cubical Agda. Additionally the first ... -
A system dynamics approach to study the sustainable reduction of a restaurant food waste
(Master thesis, 2022-06-03)The study has been conducted with three phases: supply phase, production, distribution and consumption phase and waste management which rules the total food waste model. -
Teoretiske, metodiske og historiografiske diskusjoner i norsk Historisk tidsskrift og dansk Historisk tidsskrift
(Master thesis, 2022-06-03) -
Utdanning og Integrering - En diskursanalyse
(Master thesis, 2022-06-03)