From 7a4a41707d7172f85d3b9f8fa447784fa2e27431 Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Thu, 22 Feb 2024 16:34:46 +0100 Subject: [PATCH] Nicer breaking. --- index.html | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/index.html b/index.html index 760f2b9..3ce5764 100644 --- a/index.html +++ b/index.html @@ -64,8 +64,16 @@

Tamarin Prover

first-order properties.

-

Tamarin has been successfully used to analyze or support the development of modern security protocols, including TLS 1.3 [1,2], 5G‑AKA [3,4], Noise [5], EMV (Chip-and-pin) [6], and Apple iMessage [7].

-

+

Tamarin has been successfully used to analyze or support the development of modern security + protocols, including TLS 1.3 [1,2], + 5G‑AKA [3,4], Noise [5], + EMV (Chip-and-pin) [6], and + Apple iMessage [7].

+

Get the docs Install Tamarin