Raju Halder

FedSat affronta le sfide dei dati nell'apprendimento federato, garantendo privacy e migliori performance.

InvSol migliora la sicurezza dei contratti smart grazie a tecniche avanzate per la creazione di invarianti.

Esaminare le vulnerabilità dei contratti smart e il ruolo dei modelli di linguaggio nella loro rilevazione.