Professor Hofheinz is researching in the field of theoretical cryptography. The links to research areas such as complexity theory, algorithms and formal methods are also of scientific interest. A central topic at the chair are provable security guarantees, with a special focus on the construction and analysis of provably secure cryptosystems and cryptographic protocols.