filmov
tv
A Day of a Certora Web3 Security Researcher That Works in
Показать описание
In today's video, we dive into the day-to-day routine of a web3 security researcher and explore what works in Certora. We will uncover the world of remote work and the collaborative efforts involved in ensuring web3 security.
Watch the full interview:
Become a Certified Smart Contract Hacker:
We will discuss how synchronizing sessions with teammates and clients play a crucial role in the research process. We'll also explore the importance of independent work and the value of discussions with security engineers when uncovering bugs and breaking rules. Dravee highlights the benefits of working in a team, emphasizing the joy of sharing findings and engaging in brainstorming sessions. Gain insights into the daily life of a web3 security researcher and the significance of teamwork in the world of web3 security.
Watch the full interview:
Become a Certified Smart Contract Hacker:
We will discuss how synchronizing sessions with teammates and clients play a crucial role in the research process. We'll also explore the importance of independent work and the value of discussions with security engineers when uncovering bugs and breaking rules. Dravee highlights the benefits of working in a team, emphasizing the joy of sharing findings and engaging in brainstorming sessions. Gain insights into the daily life of a web3 security researcher and the significance of teamwork in the world of web3 security.
A Day of a Certora Web3 Security Researcher That Works in
Certora Conference Day 1 Introduction
What is Certora and Formal Verification - Simply Explained
SushiSwap's Trident Solvency Bug
Certora Conference Day 2 Satisfiability
Capture the Spec (Competition) | Tomer Ganor (Certora) - DSS 101 2024
Certora Seminar - Dimitar Bounov
Day in the Life of a Web3 Security Researcher
Inductive Reasoning about Smart Contracts Safety *CVL 1*
Overreaching in Vertical Lifts
Diving Deep In Web3 Security
Assembly & Formal Verification EVM Full Course
Signature Replay Attack Play / EIP-191 & EIP-712, perhaps some Certora as well
Mooly Sagiv on Certora's exact and automatic formal verification of smart contracts
How to Accelerate Your Career in Web3 Security
Ethereum: How do you assert a function does not revert in Certora?
Why DeFi Security Matters | Mooly Sagiv (Certora)
Formal Verification and Security Panel @ ETHDenver
Becoming a Security Researcher at Spearbit | Dravee's Journey
hevm or: How I Learned to Stop Worrying and Love the Symbolic Execution by Mate Soos | Devcon SEA
Ethereum: Certora storage hook for a nested mapping
Satisfiability Modulo Finite Fields // The Certora Prover (Gereon Kremer)
Certora Prover & Formal Verification for Stakehouse @ Multichain ETH by Mooly Sagiv
[N40AI'24] Trust but Verify: Scaling Deductive Verification with Abstract Interpretation
Комментарии