Hispanopedia Wiki
Articulo de referencia

GrammaTech

GrammaTech es una empresa de servicios de investigación en ciberseguridad con sede en Ithaca, Nueva York . Fue fundada en 1988 como una empresa derivada de la Universidad de Cor...

Hispanopedia WikiContenido en espanolLectura gratuita

GrammaTech es una empresa de servicios de investigación en ciberseguridad con sede en Ithaca, Nueva York . Fue fundada en 1988 como una empresa derivada de la Universidad de Cornell. Los servicios de investigación de software de GrammaTech incluyen análisis de software, detección y mitigación de vulnerabilidades, transformación y fortalecimiento de binarios, y computación autónoma. En septiembre de 2023, Battery Ventures adquirió la división de productos de software de GrammaTech, incluidas las líneas de productos CodeSonar y CodeSentry. De esta forma, se creó una nueva entidad independiente que operará bajo el nombre de CodeSecure, Inc. y tendrá su sede en Bethesda, Maryland.

Investigación

La división de investigación de GrammaTech realiza proyectos para contratistas privados, incluidas varias agencias del gobierno estadounidense, como la NASA , la NSF y diversas ramas del Departamento de Defensa . La investigación de GrammaTech se centra tanto en el análisis estático como en el análisis dinámico , tanto del código fuente como de los binarios.

GrammaTech participó y obtuvo el segundo lugar en el Cyber ​​Grand Challenge 2016 de DARPA , ganando $1 millón como Team TECHx. [ 1 ] GrammaTech lideró Team TECHx, una colaboración con la Universidad de Virginia, utilizando su sistema de razonamiento cibernético codesarrollado llamado Xandra. [ 2 ]

Historia

GrammaTech es una empresa derivada de la Universidad de Cornell , fundada en 1988. Sus fundadores habían desarrollado un entorno de desarrollo integrado en 1978 (el Sintetizador de Programas de Cornell [ 3 ] ) y un sistema para generar entornos basados ​​en lenguajes a partir de especificaciones de gramáticas de atributos en 1982 (el Generador de Sintetizadores [ 4 ] [ 5 ] ). Entre los sistemas comerciales implementados con el Generador de Sintetizadores se incluyen el sistema de verificación de Ada de ORA (Penelope [ 6 ] ), el Enfoque Riguroso para la Ingeniería de Software Industrial de Terma (Raise [ 7 ] ) y el verificador de Loral de las Directrices de Calidad y Estilo SPC para Ada. [ 8 ] Los cofundadores de GrammaTech, Tom Reps y Tim Teitelbaum, recibieron el Premio al Impacto Retrospectivo ACM SIGSOFT 2010. por su trabajo en el Generador de Sintetizadores. [ 9 ]

GrammaTech comercializó la herramienta Wisconsin Program-Slicing Tool como CodeSurfer para C y C++ en 1999. CodeSonar para C y C++, una herramienta de análisis estático , está disponible desde 2005. El cofundador de GrammaTech, Reps , y otros dos afiliados de la empresa compartieron un premio ACM SIGSOFT Retrospective Impact Award en 2011. por su artículo que describe la investigación sobre el corte en Wisconsin. [ 10 ]

GrammaTech y la Universidad de Wisconsin han colaborado desde 2001 para desarrollar herramientas de análisis , ingeniería inversa y protección contra manipulaciones para ejecutables binarios . Los subproductos de esta investigación son CodeSurfer/x86 [ 11 ] (una versión de CodeSurfer para el conjunto de instrucciones Intel x86 ), CodeSonar/x86 (una herramienta para encontrar errores y vulnerabilidades en ejecutables sin código fuente) y un método para crear automáticamente dichos sistemas a partir de descripciones semánticas formales de arquitecturas de conjuntos de instrucciones arbitrarias . [ 12 ] Esta investigación se comercializó posteriormente en CodeSonar for Binaries y CodeSentry, una herramienta de análisis de composición de software.

En 2019, GrammaTech fue adquirida por Five Points Capital. [ 13 ]

En septiembre de 2023, Grammatech anunció la escisión de parte de su división de productos de software, específicamente las líneas de productos CodeSonar y CodeSentry, a la firma de capital de riesgo Battery Ventures . La transacción establece una nueva entidad independiente que operará bajo el nombre de CodeSecure, Inc. y tendrá su sede en Bethesda, Maryland. [ 14 ] Como parte de la escisión, Grammatech nombró a Daniel Goodwin como CEO para dirigir la corporación en adelante. Goodwin, quien anteriormente fue Gerente General de la división de investigación de Grammatech, tiene experiencia en ciberseguridad, software, sistemas, FPGA, microelectrónica, telecomunicaciones, redes y hardware en dominios como Garantía de la Información, SIGINT y Misiones de Plataforma. [ 15 ]

A finales de 2024, el grupo de ransomware Play identificó a GrammaTech como presunta víctima de un ciberataque, en el que los atacantes afirmaron haber accedido a datos personales y comerciales confidenciales. [ 16 ] Investigadores de ciberseguridad señalaron que no se publicaron muestras de datos y evaluaron el impacto potencial como limitado, lo que indica que las afirmaciones no pudieron verificarse de forma independiente y que cualquier exposición probablemente fue restringida. [ 16 ]

Referencias

  1. ↑ "Cyber ​​Grand Challenge" . DARPA . Consultado el 29 de febrero de 2020 .
  2. ↑ "Los hackers ya no tienen que ser humanos. Esta batalla de bots lo demuestra" . Wired . 5 de agosto de 2016.
  3. ↑ Teitelbaum, T.; T. Reps (septiembre de 1981). "El sintetizador de programas de Cornell: un entorno de programación dirigido por sintaxis" . Communications of the ACM . 24 (9): 563– 573. doi : 10.1145/358746.358755 . S2CID 14317073 . 
  4. ↑ Reps, T. (1984). Generating Language-Based Environments . Cambridge, MA: The MIT Press. ISBN 978-0-262-18115-0(Galardonada con el Premio ACM a la Mejor Tesis Doctoral de 1983).
  5. ↑ Reps, Thomas W.; Teitelbaum, Tim (1988). The Synthesizer Generator: A System for Constructing Language-Based Editors . Cambridge, MA: Springer-Verlag. ISBN 978-0-387-96857-5.
  6. ↑ Guaspari, D. (1989). "Actas de la conferencia Tri-Ada '89: Tecnología Ada en contexto: Aplicación, desarrollo e implementación - TRI-Ada '89". TRI-Ada '89: Actas de la conferencia Tri-Ada '89 . Pittsburgh, PA: ACM . pp. 216–224 . doi : 10.1145/74261.74277 . ISBN  0897913299.
  7. ↑ The RAISE Language Group, CORPORATE (1993). El lenguaje de especificación RAISE . Upper Saddle River, NJ: Prentice-Hall, Inc. ISBN 978-0-13-752833-2.
  8. ↑ Software Productivity Consortium (1995). Guía de calidad y estilo de Ada 95: Directrices para programadores profesionales (SPC-94093-CMC Versión 01.00.10 ed.). Herndon, VA: SPC. 
  9. ↑ Reps, T.; Teitelbaum, T. (1984). "The Synthesizer Generator" . En SDE 1 Proc. del primer Simposio de Ingeniería de Software ACM SIGSOFT/SIGPLAN sobre Entornos Prácticos de Desarrollo de Software .
  10. ↑ Reps, T.; Horowitz, S.; Sagiv, M.; Rosay, G. (diciembre de 1994). "Acelerando el Slicing" (PDF) . Actas del Segundo Simposio ACM SIGSOFT sobre Fundamentos de la Ingeniería de Software . Nueva Orleans, LA, EE. UU.
  11. ↑ Balakrishnan, G.; Reps, T. (2004). "Análisis de accesos a memoria en ejecutables x86" (PDF) . Actas de la Conferencia Internacional sobre Construcción de Compiladores . Nueva York, NY: Springer-Verlag. págs. 5–23 . (Galardonado con el premio EAPLS al mejor artículo en ETAPS 2004). 
  12. ↑ Lim, J.; Reps, T. (abril de 2008). "Un sistema para generar analizadores estáticos para instrucciones de máquina" (PDF) . Actas de la Conferencia Internacional sobre Construcción de Compiladores (CC) . Nueva York, NY: Springer-Verlag. (Galardonado con el premio EAPLS al mejor artículo en ETAPS 2008).
  13. ↑ "Five Points Capital completa la adquisición de GrammaTech" . PR Newswire . 12 de noviembre de 2019. Consultado el 14 de mayo de 2020 .
  14. ↑ "Battery Ventures adquiere el negocio de software de pruebas de seguridad de aplicaciones de GrammaTech, formando CodeSecure" . www.businesswire.com . 5 de septiembre de 2023. Consultado el 7 de septiembre de 2023 .
  15. ↑ "Conozca a nuestros líderes" . Grammatech . Consultado el 7 de septiembre de 2023 .
  16. 1 2 "GrammaTech presuntamente hackeada por la banda de ransomware Play" . SC Media . 24 de septiembre de 2025. Consultado el 19 de diciembre de 2025 .
  • Sitio web oficial