Programación segura con RUST

Objetivos

El curso está diseñado para dotar a los participantes de las habilidades necesarias para desarrollar software seguro en Rust, un lenguaje conocido por su enfoque en la seguridad de memoria y concurrencia. Durante las 20 horas de formación, se abordarán temas fundamentales como el manejo de la memoria mediante el sistema de ownership y borrowing, la prevención de errores comunes como buffer overflows y race conditions, y el uso adecuado de herramientas de auditoría de seguridad. Además, se explorarán técnicas avanzadas de programación segura, como el uso de código unsafe, y se aplicarán en la práctica mediante ejercicios interactivos.
Los participantes aprenderán a implementar buenas prácticas de seguridad desde las primeras etapas del desarrollo y a detectar y mitigar vulnerabilidades en su código. El curso también incluirá sesiones sobre el uso de criptografía en Rust y la implementación de comunicaciones seguras. A lo largo del curso, se enfatizará el uso de herramientas automatizadas y técnicas de auditoría estática para garantizar la seguridad en el ciclo de vida del software.
Este curso será de gran valor para desarrolladores, profesionales de seguridad y equipos de desarrollo de sistemas críticos que busquen aprender cómo utilizar Rust de manera efectiva para crear aplicaciones robustas y seguras.

Programa

Lunes, 14 de Julio
09:00 h. Introducción a Rust y Programación Segura [2]
11:30 h. Buenas Prácticas en Programación Segura [2]

Martes, 15 de Julio
09:00 h. Gestión de Memoria en Rust: Ownership y Borrowing [2]
11:30 h. Prevención de Condiciones de Carrera y Concurrencia Segura [2]

Miércoles, 16 de Julio
09:00 h. Errores Comunes en Rust y Cómo Evitarlos [1]
11:30 h. Auditoría y Análisis de Seguridad en Rust [1]

Jueves, 17 de Julio
09:00 h. Uso Seguro de Unsafe en Rust [1]
11:30 h. Criptografía en Rust para Desarrollo Seguro [1]

Viernes, 18 de Julio
09:00 h. Desarrollo Seguro en Red: Implementación de TLS en Rust [1]
11:30 h. Presentación de trabajos [2]

Ponentes

1 Rafael Otal Simal , Área 4B2?Inetum ?????
2 Ricardo J. Rodríguez Fernández, Profesor Titular de Universidad. Escuela de Ingeniería y Arquitectura, Universidad de Zaragoz

Alumnado

Desarrolladores de Software: Aquellos interesados en mejorar la seguridad de las aplicaciones que desarrollan utilizando Rust, un lenguaje que promueve la programación segura sin sacrificar el rendimiento.
Profesionales de Ciberseguridad: Especialistas en seguridad que buscan profundizar en el uso de Rust para la creación de aplicaciones seguras, así como en la prevención de vulnerabilidades comunes como buffer overflows, condiciones de carrera y ataques de inyección.
Investigadores y Académicos: Personas que trabajan en el campo de la seguridad informática y desean estudiar las características de seguridad de Rust y sus aplicaciones en proyectos de investigación relacionados con el desarrollo seguro de software.
Equipos de Desarrollo de Sistemas y Aplicaciones Críticas: Profesionales encargados del desarrollo de software que maneja información sensible o que opera en entornos donde la seguridad es crucial, como aplicaciones bancarias, sistemas embebidos o software de infraestructura.
Estudiantes y Profesionales en formación en Programación y Ciberseguridad: Aquellos que se inician o desean expandir su conocimiento en el desarrollo de software seguro, especialmente utilizando lenguajes modernos como Rust

Formación exigible:

Para aprovechar al máximo este curso, los participantes deben tener conocimientos básicos sobre programación y desarrollo de software. Es recomendable que los asistentes cuenten con una comprensión previa de los siguientes temas: conocimientos básicos de programación, conceptos básicos de programación orientada a objetos y programación funcional, conceptos básicos de seguridad informática, entorno de desarrollo básico.

Reconocimiento de créditos

Solicitado el reconocimiento como créditos por las Actividades universitarias culturales por la Universidad de Zaragoza.

0,5 ECTS

1. Los asistentes pueden solicitar individualmente a los Servicios Provinciales de Educación el reconocimiento de la actividad como Formación Permanente de Profesorado presentando el certificado de haber realizado el curso.

2. Reconocimiento como créditos ECTS en el Grupo 9 de Universidades (G-9): Más información en https://cursosextraordinarios.unizar.es/ (Apartado créditos).

3. Créditos ECTS en otras universidades.

Los estudiantes interesados en que su Universidad les reconozca como créditos ECTS por haber realizado un Curso de Verano de la Universidad de Zaragoza, deben consultar con la Secretaría de su Facultad o Escuela de origen tal posibilidad.

Procedimiento de evaluación

CERTIFICADO DE ASISTENCIA:

El alumnado tendrá derecho a un Certificado de Asistencia que acreditará su participación en el curso siempre que haya asistido al menos al 85% de las horas lectivas presenciales.

DIPLOMA DE CRÉDITOS:

Para la obtención del Diploma de Créditos ECTS, según la normativa vigente en la Universidad de Zaragoza, será imprescindible superar el procedimiento de evaluación exigido por quienes coordinen el curso.

- Detalle el Procedimiento de evaluación del alumnado (asistencia, examen, participación en las sesiones, etc.):
- Asistencia, examen tipo test y seguimiento de trabajos prácticos

Programación segura con RUST

Patrocinadores