• Finding shared RSA factors in the Certificate Transparency logs 

  Våge, Henry Faltin (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 

  Kløvstad, Åsmund Aqissiaq Arild (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 

  Giri, Durga Devi (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 

  Mæland, Andreas Draugsvoll (Master thesis, 2022-06-03)

• Utdanning og Integrering - En diskursanalyse 

  Vollset, Hilde-Sofie Knutsen (Master thesis, 2022-06-03)

Vis flere