Professor Hofheinz forscht auf dem Gebiet der theoretischen Kryptographie. Die Verbindungen zu Forschungsgebieten wie der Komplexitätstheorie, der Algorithmen und der formalen Methoden sind dabei ebenso von wissenschaftlichem Interesse. Ein zentrales Thema am Lehrstuhl stellen beweisbare Sicherheitsgarantien dar, wobei ein besonderer Fokus auf der Konstruktion und Analyse von beweisbar sicheren Kryptosystemen und kryptographischen Protokollen liegt.