Über die formalen Grundlagen von Physical Unclonable Functions und verwandter Primitive

This thesis deals with the formal foundations of so-called “physical unclonable functions” (PUFs) and related, disorder-based cryptographic primitives. We develop formal definitions, lead security proofs, and devise new, practically relevant attack strategies, with whom existing PUF-schemes can be attacked. The thesis contributes to sustainably consolidating the foundations of the area, solving a task that is vital and indispensable for its sound long-term development.Die vorliegende Arbeit beschäftigt sich mit den formalen Grundlagen sogenannter “Physical Unclonable Functions“ (PUFs) und verwandter Primitive. Wir entwickeln formale Definitionen, führen Sicherheitsbeweise, und entwerfen neue, praktisch relevante Angriffsstrategien. Die Arbeit trägt nachhaltig dazu bei, die Grundlagen des Gebietes zu konsolidieren, und löst damit eine Aufgabe, die für dessen langfristige und solide Entwicklung zentral und unerlässlich ist