Pruvendo
Computer and Network Security in United Arab Emirates
Overview
Pruvendo is a startup, focused on development of the embedded domain specific language Ursus - programming language for the development of secured by design smart contracts and its formal verification.
Our services:
1. Smart contracts development
2. Formal verification
Our products:
Ursus - Coq embedded dsl for smart contract development and formal verification
Olympus - tool for online smart contract activity monitoring, designed for tracking blockchains, collecting and analysing data and sending alerts in case of suspicious activity
Tagline
Formal verification technologies and tools | Formal verification of smart contracts | Web3 security
EMPLOYEES
11-50 employees
FOUNDED
—
HQ
Dubai
TYPE
Privately Held
Location
- Street
- —
- City
- Dubai
- Region
- —
- Postal code
- —
- Country
- United Arab Emirates
Email patterns
See email patterns for Pruvendo
Address formats, how often each is used and the mail provider.
Start for freeTrade fairs
FAQ
What is the company name?
pruvendo.com is the website of Pruvendo.
What is the industry of the company?
Pruvendo (pruvendo.com) is in the Computer and Network Security industry.
What products and services does the company offer?
Pruvendo (pruvendo.com) lists these specialties: Formal verification, Smart contract development support, and Smart contract suspicious activity monitoring.
How many employees does the company have?
Pruvendo (pruvendo.com) has 11-50 employees.
What is the company type?
The company type of Pruvendo (pruvendo.com) is Privately Held.
Where is the company headquartered?
Pruvendo (pruvendo.com) is headquartered in Dubai.
What is the address of the company?
The address of Pruvendo (pruvendo.com) is Dubai, United Arab Emirates.
What are the social media accounts of the company?
The social media account of Pruvendo (pruvendo.com) is LinkedIn.
Social media