← All speakers

Lucas Goiriz

@Cryptonicle1 ↗

Scientific Researcher, CSIC JSR, Spearbit

Talks

01 total

A Unified Framework for Formal Verification of Vyper Bytecode using Halmos

Secureum TrustX · Nov 13, 2023

Lucas Goiriz