New Ethereum talks, every Monday. The week's conference uploads by event, in your inbox.

StreamETH
All speakers

Lucas Goiriz

1 talk

Scientific Researcher, CSIC JSR, Spearbit

@Cryptonicle1

Talks

12:52

Lucas Goiriz

A Unified Framework for Formal Verification of Vyper Bytecode using Halmos

Secureum TrustXNov 13, 2023