Certora speakers

8 speakers from Certora at B2B trade shows and conferences.

Ray Orlev

Certora

1 event
restaking protocolssecurity risksattack vectors

Uri Kirstein

Certora

1 event
formal verificationfuzzingbounded model checking

OxFlint_

Certora

1 event
blockchain securitysoftware auditingdevelopment speed

Pamina Georgiev

Certora

1 event
SolidityFormal verificationSmart contract security

Mooly Sagiv

Certora

1 event
DeFiLiquidityAave

Tomer Ganor

Tech Lead Security Researcher · Certora

1 event
DeFi securityAave V4formal verification

AliceAndBob

Certora

1 event
account abstractionEIP-4337smart contract security

Pamina Georgiou

Certora

1 event
formal verificationsmart contract securityCertora Prover