Tamarin – finding vulnerabilities in protocols

Our digital lives are governed by a wide range of IT protocols used to protect the exchange of data, such as the EMV (Europay Mastercard Visa) standard for debit & credit card transactions or the TLS (Transport Layer Security) protocol, which protects internet connections. Jannik Dreier, an associate professor at…

Continue reading