Ningyu He

Un aperçu rapide de l'impact de l'MEV sur Ethereum et DeFi.

Une étude sur les failles de sécurité dans la vérification des adresses de contrats intelligents et une méthode de détection proposée.

Un nouveau moteur d'exécution symbolique améliore l'analyse des binaires Wasm pour une sécurité renforcée.