Trügerische Sicherheit

Wie Forschende weltweit einen Angriff auf das Internet verhinderten
ART
Webseite, Scrollytelling
thema
Tamarin Prover, Transport Layer Security, Formal Verification
jAHR
2023
SOFTWARE
Webflow, Adobe After Effects, Bodymovin, Figma, Adobe InDesign, Adobe Photoshop, Adobe Illustrator, Adobe Premiere, Adobe Media, Encoder, Affinity Designer, Scrivener, MacWhisper, otter.io, otranscribe.com
Skills
User Research, Web Design, Visual Design, UI/UX Design, Motion Design, Web Development, Video Production, Usability Testing, Storytelling, Interviews, Feature Writing (Science Journalism)

Sicherheitsprotokolle schützen unsere Privatsphäre vor Spionen und Datendieben, beim Bezahlen an der Supermarktkasse, beim Informieren über Krankheiten im WLAN oder beim Online-Shopping.

Deshalb wird es immer wichtiger, dass die Sicherheitsprotokolle selbst keine Sicherheitslücken aufweisen.

Das CISPA forscht deshalb mit am „Tamarin Prover“. Dabei handelt es sich um ein Computerprogramm, das Sicherheitsprotokolle nahezu selbstständig überprüfen kann. Anschließend garantiert es entweder die Sicherheit des Protokolls oder gibt Hinweise auf die Sicherheitslücke.

Scroll durch unsere wahre Geschichte und erfahre mehr über den bisher größten Erfog mit Hilfe des „Tamarin Prover“.

Besuch das Scrollytelling „Trügerische Sicherheit“

Was macht diesen Demonstrator besonders?

Das CISPA schreibt in einer Pressemeldung vom 18. Oktober 2023: „Um die Relevanz des Tools und der dahinterstehenden Cybersicherheitsforschung zu verdeutlichen, bereitet das Scrollytelling einen bedeutenden Erfolg des Tamarin Provers visuell auf: [...] „Trügerische Sicherheit“ erzählt diesen Forschungserfolg im Stil einer True-Crime Dokumentation.“