Ningyu He

Un'immersione profonda nelle sfide di sicurezza della verifica dei contratti smart di Ethereum.

Un nuovo framework migliora la protezione dei binari WebAssembly contro il reverse engineering.

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.