Validators Security Panel

July 8, 2024

1:30 pm

-

2:00 pm

Get Tickets Now

Validators Security Panel

WHEN

July 8, 2024 1:30 PM

ABOUT

This panel will delve into the intricacies of validator security within blockchain networks. The experts will discuss the latest threats, mitigation strategies, and best practices to ensure the robustness and reliability of validator nodes. Attendees will gain valuable insights into the operational security, cryptographic safeguards, and policy measures essential for maintaining a secure validator ecosystem.

Get Ticket NOW

Other Speakers

Gijs - Ertemann

Chief Strategy Officer at Lavender Five Nodes

Chuck Veenvliet

Technical Lead, Protocol Engineering at BlockDeamon

Randy Bhattu

Node Operator, Artifact Systems

Ernest Oppetit

CPO and Co-founder at Kiln

Other agenda

The Role of Invariant Monitoring in The Security Stack

An overview of core capabilities—Invariant Monitoring Engine, Real-Time Threat Monitoring & Detection, and Threat Remediation & Incident Response.

View Details

Revolutionizing Solidity Debugging with Symbolic Execution

At Runtime Verification, we saw a need for advanced Solidity debugging tools combining traditional breakpoint debugging with symbolic execution. Enter "Simbolik: The Symbolic Solidity Debugger." This tool bridges the gap between user-friendly debugging and powerful formal methods. Developers start with familiar techniques, like setting breakpoints, and gradually integrate formal methods, enhancing the security and reliability of their smart contracts.

View Details

Formal Verification Panel

Join us for an insightful discussion on the critical role of formal verification in securing smart contracts. This panel brings together experts to explore how mathematical proofs can ensure the correctness and security of smart contracts, preventing vulnerabilities before deployment. Discover key techniques, real-world case studies, and future directions in formal verification for blockchain security. Enhance your understanding of how to fortify smart contracts in a decentralized environment.

View Details

Why do bridges get hacked?

Bridge exploits rank prominently among the most prevalent hacks in the industry (over $337M were lost in 2023 alone). This presentation will delve into the intricacies of bridge security pitfalls, highlighting common mistakes unearthed during bridge audits, and offering practical strategies for mitigating risks.

View Details