Send email Copy Email Address

DECEPTIVE SECURITY

Security protocols guard our privacy. This is why CISPA collaborates on the Tamarin Prover, a computer program that can verify security protocols almost autonomously.

TYPE
Website, Scrollytelling

TOPIC
Tamarin Prover, Transport Layer Security, Formal Verification

YEAR
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)

Security protocols protect our privacy against spies and data thieves, be it at the supermarket checkout, sharing health information over Wi-Fi, or during online shopping. For this reason, it's increasingly important for security protocols themselves to have no security vulnerabilities.

CISPA takes part in the research on the "Tamarin Prover", a computer program capable of verifying security protocols almost autonomously. The Tamarin Prover will either guarantee the security of the protocol or point to potential security vulnerabilities.

Scroll through our true story and learn about the biggest success that the "Tamarin Prover" helped to achieve.

VISIT THE SCROLLYTELLING „DECEPTIVE SECURITY“

WHAT MAKES THIS DEMONSTRATOR SO SPECIAL?

 

CISPA released a press statement on October 18, 2023: "To clarify the importance of the tool and the underlying cybersecurity research, the scrollytelling visually presents a significant success of the Tamarin Prover: [...] "Deceptive Security" narrates this research success in the style of a true-crime documentary."