Graduate School of Informatics

Cryptographic Engineering

DevOps

Secure Computation

Traditionally, cryptography is used to protect data in transit from an eavesdropping adversary. With the advent of big data and large-scale computation, cryptography can offer us much more. The course focuses on Secure Computation that has developed as a central tool in cryptography — This allows multiple distributed parties to jointly compute on their private inputs, with the guarantee that nothing beyond the output is revealed.

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.