MITLS.ORG: Keyword Density Checker

Total words: 1021 | 2-word phrases: 274 | 3-word phrases: 289 | 4-word phrases: 290

PAGE INFO

Title	Try to keep the title under 60 characters (56 characters) miTLS, Triple Handshake, SMACK, FREAK, Logjam, and SLOTH
Description	Try to keep the meta description between 50 - 160 characters (137 characters) This page describes the miTLS verified TLS implementation and presents attacks, such as Triple Handshake, SMACK, FREAK, Logjam, and SLOTH
Keywords	Meta keywords are not recommended anymore (57 characters) TLS, miTLS, Triple Handshake, SMACK, FREAK, Logjam, SLOTH
H1	H1 tag on the page (49 characters) miTLS: A Verified Reference Implementation of TLS

#	Keyword	Frequency	Density
1	in f a	2	0.69%
2	a verified reference	2	0.69%
3	verified reference implementation	2	0.69%
4	reference implementation of	2	0.69%
5	the tls protocol	2	0.69%
6	mitls project mitls	1	0.35%
7	the internet standard	1	0.35%
8	security properties and	1	0.35%
9	properties and we	1	0.35%
10	standard to its	1	0.35%
11	gradually replace concrete	1	0.35%
12	replace concrete implementations	1	0.35%
13	concrete implementations with	1	0.35%
14	implementations with ideal	1	0.35%
15	with ideal functionalities	1	0.35%
16	internet standard to	1	0.35%
17	typecheck the protocol	1	0.35%
18	we finally typecheck	1	0.35%
19	finally typecheck the	1	0.35%
20	captures its security	1	0.35%
21	the protocol state	1	0.35%
22	protocol state machine	1	0.35%
23	state machine and	1	0.35%
24	machine and thus	1	0.35%
25	and thus obtain	1	0.35%
26	from the internet	1	0.35%
27	and from the	1	0.35%
28	precise security theorems	1	0.35%
29	security theorems for	1	0.35%
30	theorems for tls	1	0.35%

#	Keyword	Frequency	Density
1	verified reference implementation of	2	0.69%
2	a verified reference implementation	2	0.69%
3	mitls project mitls publications	1	0.34%
4	new typed interface that	1	0.34%
5	equip each cryptographic primitive	1	0.34%
6	each cryptographic primitive and	1	0.34%
7	cryptographic primitive and construction	1	0.34%
8	primitive and construction of	1	0.34%
9	and construction of tls	1	0.34%
10	construction of tls with	1	0.34%
11	of tls with a	1	0.34%
12	ranging from its protocol	1	0.34%
13	project mitls publications attacks	1	0.34%
14	fixes ranging from its	1	0.34%
15	interface that captures its	1	0.34%
16	typed interface that captures	1	0.34%
17	from its protocol logic	1	0.34%
18	that captures its security	1	0.34%
19	captures its security properties	1	0.34%
20	its security properties and	1	0.34%
21	security properties and we	1	0.34%
22	and fixes ranging from	1	0.34%
23	flaws and fixes ranging	1	0.34%
24	of flaws and fixes	1	0.34%
25	gradually replace concrete implementations	1	0.34%
26	replace concrete implementations with	1	0.34%
27	we equip each cryptographic	1	0.34%
28	typechecker to this end	1	0.34%
29	its protocol logic to	1	0.34%
30	and key establishment for	1	0.34%
31	components such as authenticated	1	0.34%
32	such as authenticated stream	1	0.34%
33	on its project homepage	1	0.34%
34	authenticated stream encryption for	1	0.34%
35	stream encryption for the	1	0.34%
36	and from the internet	1	0.34%
37	design and from the	1	0.34%
38	cryptographic design and from	1	0.34%
39	record layer and key	1	0.34%
40	layer and key establishment	1	0.34%

#	URL	Whois	Check
1	http://fsharp.org/	Whois	fsharp.org
2	http://research.microsoft.com/en-us/projects/f7/	Whois	microsoft.com
3	https://www.fstar-lang.org/	Whois	fstar-lang.org
4	https://fstar-lang.org	Whois	fstar-lang.org
5	http://www.msr-inria.inria.fr/	Whois	inria.fr