El análisis estático es una técnica que permite analizar las propiedades de un programa sin ejecutarlo realmente. A diferencia de las pruebas de software, en las que los programas se ejecutan con diferentes entradas. El análisis estático suele ser una combinación de análisis de flujo de control y flujo de datos. Dado el alto coste…
Cloudflare sufrió un ataque potencialmente estatal que comprometió algunas de sus credenciales y documentos. El actor, que operó de manera reflexiva y metodológica, logró acceder a su servidor Atlassian utilizando credenciales robadas para finalmente acceder a una cantidad limitada de código fuente. Cloudflare ha tomado medidas de seguridad para proteger su infraestructura web, incluyendo la…
Como prometimos en la entrega anterior, debido a la gran cantidad de proyectos de calidad en este sector, hoy traemos más herramientas de análisis dinámico para smart contracts. Maian es una herramienta para la detección automática de contratos inteligentes Ethereum con errores de tres tipos diferentes: pródigo, suicida y codicioso. Maian procesa el bytecode del…
En ocasiones, prevenir vulnerabilidades, virus y demás ataques no es suficiente. Esto se debe a que no todo depende de ti y por más cuidado que tu tengas, puede que las compañías en las que confías no lo hagan. Esto es lo que ocurre en un ataque de SIM swap. Estos atacantes tratan de engañar…
El código que publicamos dentro de las cadenas de bloques es inmutable, esto quiere decir, que más vale analizarlo antes que arrepentirse después. Es por ello que hoy traemos unas herramientas utiles para analisis dinámico de smart contracts compatibles con la EVM. Empezaremos por MythX que analiza, despliega y prueba bytecode. Esta herramienta puede ser muy…
El phising lleva entre nosotros más de dos décadas y, aunque la intención del atacante nunca va a cambiar, las técnicas van evolucionando. Esta evolución la podemos notar en uno de los campos emergentes como es la blockchain, en las que los atacantes han sabido reinventarse para conseguir sus beneficios. En este post explicaremos cómo. …
En esta ocasión traemos el análisis del nuevo proyecto que está sonando por el ecosistema cripto y privacidad. Como sabemos, la privacidad es clave a la hora de transaccionar en estas cadenas de bloques, pero la realidad es que no siempre se puede tener toda la anonimidad incluse detrás de una address. Es por…
La transición de la web2 a la web3 presenta un cambio de paradigma en las interacciones en línea, al que podemos no estar preparados si no tenemos el conocimiento ni las herramientas adecuadas para defendernos. En esta ocasión os presentamos las vulnerabilidades más importantes y una solución común para todas ellas. Los tiempos avanzan,…
Alcanzando una valoración de más de tres billones esta capa 0 es la solución prometedora para la interoperabilidad de las distintas blockchains. Pero, ¿qué es realmente LayerZero y por qué tiene esa valoración? Pues, para resolver esa pregunta tenemos que irnos a la definición de las capas 0 en las blockchains y su función. El…
A día de hoy, la blockchain ya se ha establecido como una tecnología fiable y estable a lo largo de los años, con su primera aparición con bitcoin en 2009. Sin embargo, todavía quedan grandes retos por resolver para su adopción masiva. Uno de ello y en concreto el que venimos a contaros hoy es…
