SmartDec
Analice aplicaciones en lenguajes de alto y bajo nivel.
SmartDec puede analizar aplicaciones en lenguajes de alto y bajo nivel. Desarrollan software y proporcionan auditorías de seguridad de contratos inteligentes. Hemos proporcionado más de 100 auditorías de aplicaciones móviles y web y también contratos inteligentes para la plataforma Ethereum. Somos desarrolladores de la herramienta SmartCheck: analizador de código estático gratuito para el lenguaje Solidity. Ahora estamos trabajando en herramientas de seguridad de la información para diferentes lenguajes de programación y también investigamos nuevos enfoques para el análisis inteligente de contratos.
