2.14.7 SEC/Seguridad de Memoria y Tipos

Temas:
Core

• Seguridad de tipos (type safety) y lenguajes seguros en tipos Fundamentos de los Lenguajes de Programación (FPL) -TypeSystems,FPL-SystemsExecutionMemoryModel,OS-Protection,SDF-Fundamentals,SE-Validation.
• Desbordamientos de búfer (buffer overflows), aplastamiento de pila (stack smashing) y desbordamientos de enteros Arquitectura y Organización (AR) -AssemblyLevelMachineOrganization,FPL-SystemsExecutionMemoryModel,OS-Protection.
• Problemas de seguridad debido a condiciones de carrera (race conditions) Fundamentos de los Lenguajes de Programación (FPL) -ParallelDistributedComputing,PDC-Evaluation.

Aprendizaje esperado (Learning Outcomes):
Core:

1. Describir cómo la selección de un lenguaje de programación puede impactar la seguridad del sistema que se está construyendo [Describir]
2. Reescribir un programa en un lenguaje seguro en tipos (por ejemplo, Java o Rust) originalmente escrito en un lenguaje de programación no seguro (por ejemplo, C/C++) [Rediseñar]
3. Evaluar un programa en busca de posibles ataques de desbordamiento de búfer y reescribirlo para prevenir tales ataques [Evaluar]
4. Evaluar un conjunto de programas relacionados en busca de posibles condiciones de carrera y evitar que un adversario las explote [Evaluar]