Search
Nalezeno "Certora": 3
Stellar Partners With Certora for Security Checks on Soroban Smart Contracts
11.10.2023
The Stellar Development Foundation (SDF) has announced its initiation of security checks for Soroban, the advanced smart contract platform within the Stellar network. This is in anticipation of Soroban's launch.
To carry out these comprehensive security audits, SDF has teamed up with Certora,...
Euler Finance hacked despite 10 audits in 2 years, says CEO
17.3.2023
Euler Labs CEO Michael Bentley stated he will “never forgive” the hacker as the exploit caused him to lose time with his newborn son
Certora Raises $36M for Smart Contract Security Tools
17.5.2022
Jump Crypto led the funding round for the firm, which secures $50 billion of DeFi assets