{"title":"Modelling and Proving Security for a Secure MPC Protocol for Stable Matching","type":"bachelorsthesis","date_updated":"2022-07-26T14:31:54Z","project":[{"name":"SFB 901: SFB 901","_id":"1"},{"name":"SFB 901 - C: SFB 901 - Project Area C","_id":"4"},{"_id":"13","name":"SFB 901 - C1: SFB 901 - Subproject C1"}],"_id":"32399","year":"2022","user_id":"25078","language":[{"iso":"eng"}],"supervisor":[{"full_name":"Blömer, Johannes","id":"23","first_name":"Johannes","last_name":"Blömer"}],"status":"public","citation":{"apa":"Vahle, E. (2022). <i>Modelling and Proving Security for a Secure MPC Protocol for Stable Matching</i>.","chicago":"Vahle, Ella. <i>Modelling and Proving Security for a Secure MPC Protocol for Stable Matching</i>, 2022.","bibtex":"@book{Vahle_2022, title={Modelling and Proving Security for a Secure MPC Protocol for Stable Matching}, author={Vahle, Ella}, year={2022} }","short":"E. Vahle, Modelling and Proving Security for a Secure MPC Protocol for Stable Matching, 2022.","ama":"Vahle E. <i>Modelling and Proving Security for a Secure MPC Protocol for Stable Matching</i>.; 2022.","ieee":"E. Vahle, <i>Modelling and Proving Security for a Secure MPC Protocol for Stable Matching</i>. 2022.","mla":"Vahle, Ella. <i>Modelling and Proving Security for a Secure MPC Protocol for Stable Matching</i>. 2022."},"department":[{"_id":"64"}],"date_created":"2022-07-20T09:38:39Z","author":[{"full_name":"Vahle, Ella","first_name":"Ella","last_name":"Vahle"}]}