Essays about: "Sam Yousefzadegan Hedin"

Found 2 essays containing the words Sam Yousefzadegan Hedin.

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Sam Yousefzadegan Hedin; [2022]
    Keywords : Generative Modeling; MAUVE; Deep Learning; GPT-2; evaluation; Generativ modellering; MAUVE; Djupinlärning; GPT-2; evaluering;

    Abstract : 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. READ MORE

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

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

    Abstract : 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. READ MORE