Investigadores australianos afirman que pueden probar, matemáticamente, que el código que han desarrollado, diseñado para controlar la seguridad de los sistemas, está libre de la mayoría de tipos de error. Se trata de la primera máquina de comprobación de errores para el kernel de un sistema operativo de propósito general. Al kernel se le llama microkernel seL4.
Aunque comprobar de forma rigurosa la calidad de un código es caro, el desarrollo de este tipo de pruebas tiene un efecto secundario, que es el de mejorar el software en general. La mayoría de las clases de ataque, como los que explotan vulnerabilidades de desbordamiento de buffer, no tendrían éxito con el microkernel seL4.
También ha sido reconocida por su empleados como el "mejor lugar para trabajar" en otros…
El distribuidor de tecnología avanza en las áreas de cloud computing, contenedores, virtualización, inteligencia artificial…
Arrow Electronics espera que la IA generativa aumentada marque un cambio en las interacciones entre…
El EBITDA ajustado de este año debería situarse entre los 66 y los 71 millones…
El Gigante Azul busca "construir un ecosistema de partners fuerte y capacitado, que pueda responder…
Este experto del sector tecnológico ha pasado previamente por compañías como Vectra AI, Nokia, Riverbed…