Title:Analyzing Communications and Software Systems Security
Author(s):Rao, Siddharth PrakashDate:2023Series:Aalto University publication series DOCTORAL THESES, 107/2023School of Science | Doctoral thesis (article-based) | Defence date: 2023-08-28
Title:Ownership and Confidentiality in Machine Learning
Author(s):Szyller, SebastianDate:2023Series:Aalto University publication series DOCTORAL THESES, 110/2023School of Science | Doctoral thesis (article-based) | Defence date: 2023-08-18
Title:Algebraic Aspects of Hidden Variable Models
Author(s):Ardiyansyah, MuhammadDate:2023Series:Aalto University publication series DOCTORAL THESES, 113/2023School of Science | Doctoral thesis (article-based) | Defence date: 2023-08-11
Title:State-Separating Proofs and Their Applications
Author(s):Kohbrok, KonradDate:2023Series:Aalto University publication series DOCTORAL THESES, 112/2023School of Science | Doctoral thesis (article-based) | Defence date: 2023-08-10
Title:Formal Verification and Standardization of Security Protocols
Author(s):Peltonen, AleksiDate:2023Series:Aalto University publication series DOCTORAL THESES, 101/2023School of Science | Doctoral thesis (article-based) | Defence date: 2023-08-08