Graduate School of Informatics

Cryptographic Engineering


Secure Computation

Software Evolution

Software Specification Verification and Testing

Data Protection Technologies

The course focuses on technologies that can be used to protect data from unauthorized access. The main motivation is to protect personal data and comply with data protection legislation such as the General Data Protection Regulation of the European Union.