Erweiterung des FFapl-Compilers um Pairings auf elliptischen Kurven: Vereinfachte Verwendung des Tate-Lichtenbaum-Pairings in der Programmiersprache FFapl

Das vorliegende Buch beschäftigt sich mit der Erweiterung einer Sprache namens FFapl (Finite Field Application Language). Diese Programmiersprache bietet eine Möglichkeit für das Prototyping für Krypto-Verfahren. Im Rahmen dieser Arbeit wird die Verwendung von elliptischen Kurven in FFapl vereinfacht. Zu Beginn werden die theoretischen Grundlagen zum besseren Verständnis der Arbeit erklärt. Es werden unter anderem Begriffe wie Gruppe, Ring, Körper, elliptische Kurve, Weierstrass-Gleichung, Körpererweiterung und Pairing behandelt. Neben den theoretischen Aspekten wurde die praktische Umsetzung in FFapl dokumentiert. Hierbei ist neben den Pairings selbst auch noch das erleichterte Handling mit dem Datentyp der elliptischen Kurve von großer Bedeutung. Abschließend werden einige Verfahren basierend auf Pairings beschrieben. Zusätzlich sind auch Implementierungen dieser Verfahren in FFapl angegeben.