Tingting Yu

Uma oficina pra aproximar os experts em RE e Testes.

Um estudo sobre como reduzir as taxas de gás no Ethereum através da otimização de contratos inteligentes.

Ferramenta automatizada verifica contratos inteligentes pra garantir que tão em conformidade com ERC, melhorando a segurança.

Este estudo mostra como modelos de linguagem podem encontrar bugs ocultos em apps móveis.

Otimização da busca por bugs com técnicas e tecnologias avançadas.