Parse

Parse indexes AI recommendations so brands know where they stand.

Products

  • Brands
  • Markets
  • Integrations
  • Work with us
  • Pricing
  • MCP

Resources

  • Research
  • Methodology
  • Blog

© 2026 Parse. All rights reserved.

LegalPrivacy PolicyTerms of Service
Parse
Work with usPricing
Sign inCheck your brand
  1. Brands
  2. ProVerif
BrandsProVerif

How AI describes ProVerif

Data as of Aug 25, 2026 · Based on 3,181,687 AI responses across 10,525 prompts · See how Parse measures this

ProVerif logoProVerifbblanche.gitlabpages.inria.fr · Low evidence
Low evidence

Bruno Blanchet is a research director at Inria leading the Prosecco team, focusing on the development of cryptographic protocol verifiers. He created ProVerif for symbolic model analysis and CryptoVerif for computational model verification.

Ownership
Part ofInria logoInria
ProVerif logoProVerif

Parse Score

10.7
Strength1
Reach10
Authority0

Work at ProVerif?

Claim this profile for the full report: every prompt where ProVerif appears, who is gaining, and what AI says about you. Claiming is free and unlocks your brand’s ambient view. Monitoring a market is the paid layer on top.

Verified with a work email.

AI questions where ProVerif appears

Prompt
Prompt visibility
We need to design a new network protocol. What's an AI that can help simulate the protocol's performance and security under various network conditions?2.3