TRÜGERISCHE SICHERHEIT

Sicherheitsprotokolle schützen unsere Privatsphäre. Das CISPA forscht deshalb mit am „Tamarin Prover“. Dabei handelt es sich um ein Computerprogramm, das Sicherheitsprotokolle nahezu selbstständig überprüfen kann.

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 daher 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“.

Zum SCROLLYTELLING

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.“