CERTORA
Certora develops unique technology which supplements your programming experts and manual auditors by automatically detecting security vulnerabilities both before the code is deployed and during operation. The process is executed automatically and provides mathematical proofs of correctness on a daily basis. For carefully defined properties of your software, Certora technology can completely guarantee the absence of security vulnerabilities.
CERTORA
Industry:
Blockchain Quality Assurance Security
Founded:
2019-01-01
Address:
Tel Aviv, Tel Aviv, Israel
Country:
Israel
Website Url:
http://www.certora.com
Total Employee:
11+
Status:
Active
Contact:
+97236407606
Total Funding:
43.2 M USD
Technology used in webpage:
Google Font API LetsEncrypt WordPress Content Delivery Network Font Awesome Apache Global Site Tag Sitelinks Search Box IPv6 Google Maps
Similar Organizations
Bitcoiin2Gen
Bitcoiin2Gen is a self-sustaining cryptocurrency.
Cybellum
Cybellum enables the product security team to develop and maintain secure connected products.
Diginex Solutions
Diginex Solutions is the impact technology company helping to solve the world’s most pressing ESG and sustainability challenges.
Kirobo
Making Blockchain As Simple As Online Banking. Kirobo adds a logic layer into the blockchain that protects users from human error
MakerDAO
Maker is a decentralized autonomous organization on the Ethereum blockchain.
Origo
Origo enables users to create and execute smart contracts without leaking any sensitive information.
Quantstamp
Leaders in Blockchain Security
Current Employees Featured
Shelly Grossman CTO @ Certora
CTO
2018-11-01
Mooly Sagiv CEO @ Certora
CEO
2018-11-01
Nurit Dor Head of Product @ Certora
Head of Product
2019-10-01
Founder
Investors List
Tiger Global Management
Tiger Global Management investment in Series B - Certora
Electric Capital
Electric Capital investment in Series B - Certora
Lemniscap
Lemniscap investment in Series B - Certora
Jump Crypto
Jump Crypto investment in Series B - Certora
Galaxy Digital
Galaxy Digital investment in Series B - Certora
Framework Ventures
Framework Ventures investment in Series B - Certora
VMware
VMware investment in Series B - Certora
A.Capital Ventures
A.Capital Ventures investment in Series B - Certora
CoinFund
CoinFund investment in Series B - Certora
Coinbase
Coinbase investment in Series B - Certora
Official Site Inspections
http://www.certora.com Semrush global rank: 2.3 M Semrush visits lastest month: 8.15 K
- Host name: 76.76.21.21
- IP address: 76.76.21.21
- Location: United States
- Latitude: 37.751
- Longitude: -97.822
- Timezone: America/Chicago
More informations about "Certora"
Certora - Crunchbase Company Profile & Funding
Certora engages with the community to crowdsource formal specifications for identifying code vulnerabilities through audit contests. Training and Support: Certora offers training and …See details»
Certora
Certora Prover is a powerful tool that compares your smart contract bytecode against a rule detailing how you expect your code to behave. This process, known as formal verification , will check every possible contract state and contract …See details»
Team - Certora
Before joining Certora, Jaroslav worked as a researcher at the National University of Singapore and at the Max Planck Institute for Software Systems. Idit Kronzon. VP of People. Idit has …See details»
Certora Company Profile 2025: Valuation, Funding & Investors
Certora General Information Description. Operator of a digital asset issuance platform intended to provide blockchain security assistance. The company's platform uses a technology capable of …See details»
Certora - LinkedIn
Certora will be six years old tomorrow. We learned so much thanks to the amazing Web3 community for the last six years. We are especially proud of six things: (1) Top-class strongest engineering ...See details»
Certora Company Profile: Overview and Full News Analysis
Certora is a company based in Tel Aviv that offers industry-leading formal verification tools and smart contract audits to secure smart contracts. Their flagship product, Certora Prover, …See details»
Certora - Products, Competitors, Financials, Employees, …
Certora primarily serves the blockchain and cryptocurrency industries, where smart contract security is critical. It was founded in 2018 and is based in Tel Aviv, Israel. Headquarters …See details»
Certora - Funding, Financials, Valuation & Investors - Crunchbase
Certora provides unique technology for guaranteeing code correctness and security. Search Crunchbase. Start Free Trial . Chrome Extension. Solutions. Products. Resources. ... How …See details»
Certora - Company Profile - Tracxn
Jan 5, 2025 What are the most recent funding rounds of Certora? Its latest funding round was a Series B round on May 17, 2022 for $36M. 10 investors participated in its latest round, which …See details»
Certora - Overview, News & Similar companies | ZoomInfo.com
Certora offers two unique solutions targeted for all participants in the blockchain ecosystem: Static Asset Scanner (SAS) for businesses that employ Smart Contracts. We currrently check ERC …See details»
Certora - Israeli Startup | Startup Nation Finder
Jan 6, 2022 Certora's Automatic Exact Verification (AEV) technology complements existing smart-contract compilers and debuggers and checks that all executions of a smart contract …See details»
Certora Company Profile | Management and Employees List
Certora offers two unique solutions targeted for all participants in the blockchain ecosystem: Static Asset Scanner (SAS) for businesses that employ Smart Contracts. We currrently check ERC …See details»
Scaling Smart Contract Security: Why We Invested in Certora
May 17, 2022 Certora is a leader in smart contract security that leverages formal verification to verify smart contract code at the bytecode level. As a short introduction, formal verification is a …See details»
Certora - Org Chart, Teams, Culture & Jobs - The Org
View Certora's up-to-date org chart, open roles, and culture details. Find executives, board members, teams, related companies, and more.See details»
Certora - Contacts, Employees, Board Members, Advisors & Alumni
Certora provides unique technology for guaranteeing code correctness and securitySee details»
Certora Technology White Paper
Oct 7, 2022 Certora also offers a mutation verification tool that automatically generates and verifies variations of the original contract, generated by mutating the code. Mutants that pass …See details»
Enterprise Solutions - certora.com
The Certora Prover plays an important role in our overall safety strategy by providing an accessible way to quickly iterate on formal specifications and determine the correctness of …See details»
Certora - Tech Stack, Apps, Patents & Trademarks - Crunchbase
Nov 10, 2024 Organization. Certora . Connect to CRM . Save . Summary. Financials. People. Technology. Signals & News. Similar Companies. Highlights. Active Tech Count 29. ... Certora …See details»
What is Certora? Company Culture, Mission, Values | Glassdoor
See what employees say it's like to work at Certora. Salaries, reviews, and more - all posted by employees working at Certora.See details»
Security Audits - Certora
Certora has unlocked TrustToken's ability to iterate quickly while maintaining confidence in the security of our smart contracts. Yuchen Lin. TrustToken. Formal verification from Certora is the …See details»