Ningyu He

Uno sguardo veloce sull'impatto di MEV su Ethereum e DeFi.

Uno studio sui difetti di sicurezza nella verifica degli indirizzi dei contratti smart e un metodo di rilevamento proposto.

Un nuovo motore di esecuzione simbolica potenzia l'analisi dei binari Wasm per una sicurezza migliore.