Certora
@Certora
Your End-To-End Security Partner.
Manual Audits, Formal Verification, and Protocol Design Review.
Trusted by Aave, Uniswap, Lido, EigenLayer, Solana and more.
๊ฐ์
February 2019
337 ํ๋ก์ ์ค 12.1K ํฌ
Coding agents are getting better every day. Hackers are using the same technology.
@SagivMooly on what that means for the future of software security at @ethconf.
Full talk ๐๐งต
๋ ๋ณด๊ธฐ
