BROADCASTS.com

Post Quantum Crypto f\xfcr WireGuard VPN\n\nRosenpass ist ein neues FOSS Projekt, in dem wir ein Add-on f\xfcr WireGuard entwickeln, das Post-Quantum-Sicherheit erm\xf6glicht.\n\nModerne asymmetrische Kryptografie basiert auf mathematischen Problemen, die von heutigen Computern nicht effizient gel\xf6st werden k\xf6nnen. Quantencomputer k\xf6nnten diese Probleme mit Hilfe von Shors Algorithmus l\xf6sen, damit werden viele der modernen Kryptosysteme unbrauchbar. Zum Gl\xfcck hat es aber noch niemand geschafft, einen Quantencomputer zu bauen, der ausreichend m\xe4chtig ist, um in der Praxis kryptografische Verfahren brechen zu k\xf6nnen.\n\nDennoch ist es wichtig kryptografische Verfahren zu entwickeln, die auch von Quantencomputer nicht angegriffen werden k\xf6nnen, um vorbereitet zu sein, sobald Quantencomputer einsatzf\xe4hig sind. Insbesondere Angriffen, bei denen verschl\xfcsselte Daten heute gespeichert werden, um sie, sobald das m\xf6glich wird, zu entschl\xfcsseln, muss vorgebeugt werden.\n\nKryptograf\\*innen und Ingenieur\\*innen arbeiten also hart daran, unsere Kryptografie abzusichern und Rosenpass ist Teil dieses Prozesses. Wir haben den Stand der Kryptografischen Forschung und der Post-Quanten-Krypto Standardisierungsprozesse auf WireGuard angewendet und eine Methode genutzt um WireGuard absichern zu k\xf6nnen ohne die WireGuard Implementierung selbst ver\xe4ndern zu m\xfcssen. Das ist wichtig, denn WireGuard l\xe4uft im Kernel und genie\xdft viel Vertrauen in der FOSS-Community.\n\nGemeinsam sind WireGuard + Rosenpass so stark wie das st\xe4rkste Glied in der kryptografischen Kette.\n\nNeben der Implementierung in Rust setzt Rosenpass auch kryptografische Impulse; wir haben selbst einige Verbesserungen am Protokoll vorgenommen, um die Sicherheit gegen DOS-Angriffe zu verbessern und \xfcbertreffen in diesen Bereichen sogar das urspr\xfcngliche WireGuard Protokoll. Wir haben mathematische Sicherheitsanalysen mithilfe von ProVerif angefertigt und sind dabei, einen vollwertigen Sicherheitsbeweis mithilfe des Beweisassistenten CryptoVerif anzufertigen.\n\nIn dem Vortrag stellen wir das Projekt und die Features von Rosenpass vor und geben Einblicke, in den Prozess kryptografische Protokolle zu entwickeln und mathematische Beweise \xfcber deren Sicherheit durchzuf\xfchren.\n\nEine Einf\xfchrung in die Quantum-Hardening allgemein findet sich in unserem [DiVOC-19-Vortrag](https://media.ccc.de/v/DiVOC-19-quantum).\nabout this event: https://cfp.eh20.easterhegg.eu/eh20/talk/7HDPSA/