header
Sanford
Pesquisador de Segurança | Especialista em EVM | Verificação formal | Protegendo a integridade do blockchain | Aberto para colaborações | #EVM | #FormalVerification