Un informático de Saarbrücken demuestra la seguridad del lenguaje de programación Rust
Ralf Jung, estudiante de doctorado de la Universidad de Saarland y ahora postdoc en el Instituto Max Planck de Sistemas de Software de Saarbrücken, ha realizado una importante contribución a la seguridad del lenguaje de programación "Rust".
El nuevo y cada vez más popular lenguaje de programación se utiliza ampliamente desde pequeñas empresas emergentes hasta las mayores corporaciones tecnológicas del mundo para desarrollar sistemas operativos, navegadores web y otras aplicaciones de seguridad crítica. Por su tesis doctoral, en la que Jung estableció los primeros fundamentos formales para la programación de sistemas seguros en Rust, ha recibido ya varios premios de renombre internacional.
Ralf Jung es investigador postdoctoral en el grupo de investigación "Fundamentos de la programación" del profesor Derek Dreyer en el Instituto Max Planck de Sistemas de Software de Saarbrücken. Desde 2015, Jung se ha centrado en el lenguaje de programación que originalmente fue patrocinado por Mozilla: "Rust me entusiasmó porque hay una futuro muy tentador detrás: ser un lenguaje de programación que permite un control preciso sobre el uso de la memoria y la asignación de recursos de un sistema, al tiempo que evita automáticamente muchos errores de programación generalizados", dice Ralf Jung.
El peso de esta promesa lo demuestra el uso del lenguaje de programación en la práctica: Aunque la primera versión estable de Rust no se publicó hasta 2015, el lenguaje de programación ya es utilizado por muchas grandes empresas tecnológicas como Microsoft, Google, Amazon, Dropbox y Facebook. En su tesis doctoral, Ralf Jung aporta ahora la primera prueba formal de que las promesas de seguridad de Rust se cumplen realmente.
"Hemos sido capaces de verificar la seguridad del sistema de tipos de Rust y, por tanto, mostrar cómo Rust evita de forma automática y fiable clases enteras de errores de programación", afirma Ralf Jung. Al hacerlo, también abordó con éxito un aspecto especial del lenguaje de programación: "La llamada 'type safety' va de la mano del hecho de que Rust impone restricciones al programador y no permite todo lo que éste quiere hacer. Sin embargo, a veces es necesario escribir una operación en el código que Rust no aceptaría debido a su seguridad de tipos", continúa el informático. "Aquí es donde entra en juego una característica especial de Rust: los programadores pueden marcar su código como 'inseguro' si quieren conseguir algo que contradiga las precauciones de seguridad del lenguaje de programación. Junto con colaboradores internacionales, entre ellos mi director de tesis Derek Dreyer, desarrollamos un marco teórico que nos permite demostrar que las afirmaciones de seguridad de Rust se mantienen a pesar de la posibilidad de escribir código "inseguro"", afirma Jung.
Esta prueba, llamada RustBelt, la complementa Ralf Jung con una herramienta llamada Miri, con la que se puede comprobar automáticamente que el código 'inseguro' de Rust cumple con importantes reglas de la especificación de Rust, un requisito básico para la corrección y seguridad de este código. "Mientras que RustBelt tuvo un gran éxito, sobre todo en los círculos académicos, Miri ya está establecida en la industria como herramienta para probar la seguridad de los programas escritos en Rust", explica Ralf Jung.
Por su disertación titulada "Comprensión y evolución del lenguaje de programación Rust". Ralf Jung ha recibido varios premios nacionales e internacionales. El trabajo de Jung recibió una de las dos "Menciones Honoríficas" del "Premio a la Disertación" de la "Association for Computing Machinery" (ACM). La ACM afirma: "A través del liderazgo de Jung y su compromiso activo con el grupo de trabajo de las Directrices de Código Inseguro de Rust, su trabajo ya ha tenido un profundo impacto en el diseño de Rust y ha sentado bases esenciales para su futuro". El premio ACM Dissertation Award se anuncia a nivel internacional para todo el campo de la informática, por lo que se considera uno de los premios más prestigiosos para las disertaciones de informática en todo el mundo.
También ha recibido el 'Doctoral Dissertation Award' de las 'European Joint Conferences on Theory & Practice of Software' (ETAPS), uno de los premios más importantes en el campo de la ciencia del software en Europa. También ha recibido la medalla Otto Hahn de la Sociedad Max Planck, que se concede anualmente por logros científicos especialmente destacados en relación con una disertación.
Articulos Electrónica Relacionados
- Prototipo de Motor eléctrico H... Yamaha Motor ha anunciado que ha desarrollado un motor eléctrico que se sitúa en la cabeza de la industria en términos de rendimiento. Esta unidad está destinad...
- Proyecto europeo FET-Open Este proyecto de nanotecnología, liderado por MIRACLE -un consorcio europeo de cinco universidades- y Microlight3D, tiene el potencial de revolucionar la indust...
- Nuevas tendencias: Módulos de ... Con el cambio hacia los vehículos eléctricos, los usuarios finales están cada vez menos preocupados por los diferenciadores tradicionales, como la potencia del ...
- Ampleon y la Universidad HAS c... Ampleon ha iniciado un proyecto de investigación en colaboración con la Universidad HAS de Ciencias Aplicadas en Den Bosch, Países Bajos en...
- La microelectrónica, una de la... La microelectrónica es una de las tecnologías más importantes de nuestro tiempo. Desde la movilidad eléctrica, la conducción autónoma y las máquinas de autoapre...
- Inteligencia Artificial para l... El centro tecnológico Tekniker, miembro de Basque Research and Technology Alliance (BRTA), ha utilizado técnicas de IA en el marco del proyecto Ecopool con el o...
- ¿Qué es la transmisión segura ... Los sistemas de control inteligente avanzan a pasos agigantados y aparecen constantemente nuevas tecnologías que sólo nos imaginabamos en las películas (cómo ab...
- Guía sobre infraestructura par... El Ministerio de Economía, Industria y Competitividad (MINECO) ha publicado la primera edición de la Guía de la Instrucción Té...
- Proyecto DIVEO para mejor adap... Los institutos tecnológicos del plástico (AIMPLAS), de las tecnologías de la información y las comunicaciones (ITI) y la biomec&aacu...
- Proyecto europeo para desarrol... El proyecto THERMOBAT (A Ferrosilicon Latent Heat Thermophotovoltaic Battery), coordinado por investigadores del Instituto de Energía Solar de la Universidad Po...
- Aprobadas las ayudas para impl... El Consejo de Ministros, partiendo de la propuesta del Ministerio para la Transición Ecológica y el Reto Demográfico (MITECO), ha aprobado el pasado martes 29 d...
- Los módulos de potencia crecen... El mercado mundial de módulos de potencia se prevé que se reduzca en casi un tercio (30 por ciento) del mercado de los semiconductores de potencia...