prosecco.gforge.inria.fr

GENERAL
META
HTML
LINK ANALYSIS
SERVER

Prosecco.gforge.inria.fr recives any estimated n/a unique visitors and n/a unique page views per day. Revenue gained from these much visits may be n/a per day from various advertising sources. The estimated worth of site is n/a.

Website Age n/a
Alexa Rank no-data
Country France
IP Address 128.93.193.15

META INFORMATION

Title

Prosecco

Description

Prosecco is a research team at INRIA Paris-Rocquencourt that focuses on building and verifying programs that use cryptography.

Keywords

INRIA, Prosecco, research, formal verification, security, formal methods, ProVerif, cryptographic protocol implementations, security APIs, type systems, symbolic verification, comp****tional security, automated reasoning, general-purpose theorem provers, formal testing frameworks, run-time analysis, tools.

Content Type

utf-8

No	Meta Name	Value
1	author	Prosecco

KEYWORDS AND KEYWORD DENSITY

No	Keyword	Website Count
1	Research	46
2	Security	24

GENERAL HTML INFORMATION

Type	Status
HTML 5
Responsive Website

HTML SIZE INFORMATION

Text / Code Ratio 35.02 %

prosecco.gforge.inria.fr has a website text/code ratio of 35.02 %. Search engine crawlers tend to not pick up pages with inadequate content.

IMPORTANT HTML TAGS AND COUNTS

Titles

H10
H23
H324
H40
H50
H60

No	Text
1	Prosecco
2	News
3	Funding

No	Text
1	Software tools
2	Recruitment
3	How to reach us
4	Postal address
5	July 2020
6	December 2019
7	June 2019
8	May 2019
9	April 2019
10	January 2019
11	October 2018
12	July 2018
13	May 2018
14	December 2017
15	September 2017
16	May 2017
17	April 2017
18	November 2016
19	October 2016
20	August 2016
21	July 2016
22	June 2016
23	February 2016
24	January 2016

Text Styling

STRONG0
B0
EM0
I9
U0
CITE0

No	Text
1	2 rue Simone Iff, 75012 Paris, France
2	43 Rue du Charolais, 75012 Paris, France
3	SECOMP: Efficient Formally Secure Compilers to a Tagged Architecture
4	QuickChick
5	Levchin prize for contributions to real world cryptography
6	CIRCUS
7	NEXTLEAP
8	AnaStaSec
9	AJACS

LINK ANALYSIS

Total Link Count: 78

Internal Link Count : 18

No	Text	Type
1	-	image
2	Home	text
3	People	text
4	Publications	text
5	Events	text
6	CryptoVerif	text
7	ProVerif	text
8	CryptoVerif: Mechanized Prover in the Comp****tional Model	text
9	miTLS*: Attacking and Proving TLS 1.3 Implementations	text
10	Privacy Preserving Machine Learnng	text
11	more details here	text
12	karthikeyan.bhargavan@inria.fr	text
13	bruno.blanchet@inria.fr	text
14	2 papers	text
15	4 papers	text
16	3 papers	text
17	2 papers	text
18	3 papers	text

External Link Count : 60

No	Text	Type
1	-	image
2	INRIA Paris	text
3	HACL*	text
4	F*	text
5	miTLS	text
6	Noise Explorer	text
7	Symbolic Software	text
8	FlexTLS	text
9	Defensive JavaScript	text
10	QuickChick	text
11	Tookan	text
12	Cryptosense	text
13	website	text
14	code	text
15	papers	text
16	3 year	text
17	permanent positions	text
18	2 rue Simone Iff, 75012 Paris, France	text
19	43 Rue du Charolais, 75012 Paris, France	text
20	Here are more details	text
21	ProVerif	text
22	CryptoVerif	text
23	ICFP 2019	text
24	Journey Beyond Full Abstraction	text
25	CSF 2019	text
26	EuroS&P'19	text
27	Real World Crypto 2019	text
28	a paper	text
29	ACM CCS 2018	text
30	Éric Tanter	text
31	Prasad Naldurg	text
32	F*	text
33	version 0.9.6.0	text
34	POPL 2018	text
35	Amal Ahmed	text
36	Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate	text
37	video	text
38	Oakland S&P 2017	text
39	2nd IEEE European Symposium on Security and Privacy (EuroS&P)	text
40	Prix Jeune Chercheur Inria – Académie des sciences 2016.	text
41	POPL 2017	text
42	Sweet32	text
43	Book	text
44	ERC Starting Grant	text
45	SECOMP: Efficient Formally Secure Compilers to a Tagged Architecture	text
46	Microsoft Research Outstanding Collaborator Award	text
47	ANR JCJC grant	text
48	IEEE CSF 2016	text
49	Transcript Collision Attacks: Breaking Authentication in TLS, IKE, and SSH	text
50	NDSS 2016	text
51	Karthik Bhargavan awarded ERC Consolidator Grant	text
52	miTLS	text
53	Levchin prize	text
54	Sloth Attack	text
55	ERC Consolidator Grant CIRCUS	text
56	EU Horizon 2020 Research and Innovation project NEXTLEAP	text
57	ANR project AnaStaSec	text
58	ANR project AJACS	text
59	Microsoft Research - Inria Joint Centre	text
60	MSR PhD Scholars***p Programme	text