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