Intel y la Universidad de California en San Diego (UC San Diego) anunciaron hoy que han sido seleccionados para unirse al Fortalecimiento de las cadenas de herramientas de desarrollo frente a los motores de ejecución emergentes (HARDEN) equipo del programa para la Agencia de Proyectos de Investigación Avanzada de Defensa (DARPA). Los adversarios han elaborado ciberataques cada vez más complejos como reacción a décadas de esfuerzos para fortalecer las plataformas y aumentar las medidas de seguridad de TI que reducen las vulnerabilidades. Los intentos de mitigar estas amenazas han fracasado, lo que ha creado un mayor riesgo de intrusión en el código actual y heredado.
(Foto: Corporación Intel)
LEA TAMBIÉN: Intel incluye placas base en el aumento de precios del cuarto trimestre de 2022
Cómo funciona:
Para abordar las amenazas de ciberataques, DARPA seleccionó varios equipos para trabajar en soluciones para mitigar y prevenir vulnerabilidades en sistemas informáticos integrados. El esfuerzo conjunto de cuatro años se centrará en la creación de herramientas basadas en la criptografía y las teorías formales de seguridad. Como parte de este esfuerzo, DARPA utilizará la tecnología de Intel. Computación con capacidad criptográfica (C3) System, el primer mecanismo de seguridad de memoria sin estado que reemplaza efectivamente metadatos ineficientes con criptografía eficiente.
En UC San Diego, el esfuerzo estará dirigido por los profesores Deian Stefan y Dean Tullsen del Departamento de Ingeniería y Ciencias de la Computación.
Por qué es importante:
Al menos desde mediados de la década de 1960, los científicos informáticos han buscado un “control de acceso basado en capacidades” para su completa seguridad. Las capacidades permiten a los procesadores realizar divisiones detalladas entre objetos de datos en la memoria, lo que permite abordar los problemas de seguridad de la memoria que han representado persistentemente la mayoría de las vulnerabilidades de software en toda la industria. Estos pueden proporcionar un punto de entrada para que los adversarios lancen ataques de “ejecución emergente”, que manipulan comportamientos complejos de interacción del sistema (a veces llamados comportamientos de “máquina extraña”) para comprometer los datos y el funcionamiento del sistema.
HARDEN ayudará a crear herramientas prácticas para prevenir la explotación de sistemas informáticos integrados interrumpiendo los patrones de exploits robustos y confiables utilizados por los atacantes y privándolos de motores de ejecución emergentes.
Los detalles:
Intel tiene una larga trayectoria en el desarrollo de mecanismos de control de acceso basados en capacidades, como en los procesadores iAPX 432 e i960MX de los años 1980. El sistema C3 publicado en la conferencia MICRO 2021 supera limitaciones sustanciales de los mecanismos de control de acceso basados en capacidades anteriores, como su gran dependencia de metadatos (datos sobre datos) que son costosos de almacenar y procesar, y su incompatibilidad con el código heredado. C3 reemplaza eficazmente los metadatos ineficientes con criptografía eficiente al cifrar punteros individuales y objetos de datos de una manera que se puede implementar ampliamente, incluso en software x86 heredado.
El programa HARDEN permitirá a Intel y UC San Diego investigar más a fondo y demostrar el potencial de C3 para mejorar la seguridad de sistemas heredados y futuros en programas de desafío duro de DARPA. Esto contribuirá al objetivo de comprender cómo los atacantes convierten partes de los sistemas informáticos modernos en contra del todo, para que esto pueda evitarse en el futuro.
Que sigue:
El programa HARDEN tendrá una duración de 48 meses y está organizado en tres fases: las fases 1 y 2 durarán cada una 18 meses, seguidas de una fase 3 de 12 meses.
Intel se enorgullece de ser parte de este trabajo pionero con UC San Diego y DARPA, ayudando a mantener seguros los sistemas del gobierno de EE. UU.
ARTÍCULO RELACIONADO: Intel amplía su liderazgo en dispositivos móviles y brinda un rendimiento entusiasta a computadoras portátiles delgadas y livianas
ⓒ 2023 . .
