Ningyu He

Una breve mirada al impacto del MEV en Ethereum y DeFi.

Un estudio sobre fallos de seguridad en la verificación de direcciones de contratos inteligentes y un método propuesto para su detección.

Un nuevo motor de ejecución simbólica mejora el análisis de binarios Wasm para una mejor seguridad.