Tingting Yu

Un estudio sobre cómo reducir las tarifas de gas en Ethereum a través de la optimización de contratos inteligentes.

Una herramienta automatizada audita contratos inteligentes para asegurar que cumplen con ERC, mejorando la seguridad.

Este estudio revela cómo los modelos de lenguaje pueden encontrar errores ocultos en aplicaciones móviles.

Simplificando la búsqueda de errores con técnicas y tecnología avanzadas.