Raju Halder

FedSat aborda los desafíos de datos en el aprendizaje federado, asegurando privacidad y mejor rendimiento.

InvSol mejora la seguridad de los contratos inteligentes mediante técnicas avanzadas de creación de invariantes.

Examinando las vulnerabilidades de los contratos inteligentes y el papel de los modelos de lenguaje en la detección.