Dieser Vortrag gibt eine Einführung in Language-theoretic Security (LangSec) für Pragmatiker und wendet die Erkenntnisse aus LangSec auf Bockchains an. Die resultierenden fundamentalen Security Implikationen für Blockchain und andere Systeme sind auch ohne Vorwissen in Theoretischer Informatik nachvollziehbar und universell anwendbar.
LangSec beschreibt die seit den 90er Jahren andauernde Software Security Krise, die mit der „Entdeckung“ des Buffer Overflows begann, als eine Konsequenz der arglosen Erstellung von Programmcode der Ein- und Ausgaben verarbeitet. LangSec zeigt auch den Weg aus dieser Krise auf: Hierzu müssen alle Ein- und Ausgaben als formale Sprachen verstanden werden, die von Parsern und Unparsern verarbeitet werden, die genau diese Sprachen implementieren.