John Toman

6 talks by John Toman

• Proving Correctness of LLM-Generated Smart Contracts | John Toman - Certora
• Concord: Automatically Checking EVM Bytecode Equivalence - DeFi Security Summit 2025
• DeFi Security Summit at Devconnect Argentina 2025: Nogal Stage, Day 1
• Harnessing LLMs to generate secure code
• Verifying LLM powered Code Transformations with Equivalence Checking - John Toman
• How to diagnose a faulty compiler: the LLVM bug