Number of items at this level: 4.
Gangwal, Ankit (2019) Security and Privacy Implications of Cryptocurrencies. [Ph.D. thesis]
Padoan, Tommaso (2019) Tableaux, automata and games for true concurrency properties. [Ph.D. thesis]
RABBANI, MD MASOOM (2020) Remote Attestation for Secure Internet of Things. [Ph.D. thesis]
Terzi, Matteo (2019) Learning interpretable representations for classification, anomaly detection, human gesture and action recognition. [Ph.D. thesis]