Sökning: "Sam Yousefzadegan Hedin"

Hittade 2 uppsatser innehållade orden Sam Yousefzadegan Hedin.

1. 1. Evaluation of generative machine learning models : Judging the quality of generated data with the use of neural networks

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Sam Yousefzadegan Hedin; [2022]
   Nyckelord :Generative Modeling; MAUVE; Deep Learning; GPT-2; evaluation; Generativ modellering; MAUVE; Djupinlärning; GPT-2; evaluering;

   Sammanfattning : Generative machine learning models are capable of generating remarkably realistic samples. Some models generate images that look entirely natural, and others generate text that reads as if a human wrote it. However, judging the quality of these models is a major challenge. LÄS MER

3. 2. Formal security analysis of authentication in an asynchronous communication model

   Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Jacob Wahlgren; Sam Yousefzadegan Hedin; [2020]
   Nyckelord :formal verification; Tamarin Prover; formal analysis; information security; authentication; formell verifiering; Tamarin Prover; formell analys; informationssäkerhet; autentisering;

   Sammanfattning : Formal analysis of security protocols is becoming increasingly relevant. In formal analysis, a model is created of a protocol or system, and propositions about the security of the model are written. A program is then used to verify that the propositions hold, or find examples of where they do not. LÄS MER