Teaching Supervised Theses Model-theoretic characterisations of description logics Querying Over Encrypted Databases and Flexible Access Control Using Advanced Encryption Adjustment Policies