Acelerando el cálculo del orden de transparencia

Slides:



Advertisements
Presentaciones similares
Generación jerárquica de puntos, curvas d-offset y ploteo de curvaturas asociado a un A-spline cúbico Wilfredo Morales Lezca Wilfredo Morales Lezca Facultad.
Advertisements

Técnicas de Estimación. La estimación de lo que costara el desarrollo del software es una actividad importante, ya que una característica que debe tener.
PROGRAMACIÓN I CENTRO DE ESTUDIOS INTEGRADOS EL MARISCAL - CEIM Ing. Luisa Fernanda Arenas Castañeda Feb 6 de 2016.
Bloque 2: Sistemas de Gestión de Calidad Utilizados en la Industria de Alimentos Diplomado de profundización en Inocuidad Alimentaria Año 2016.
* Parte del punto 3 está basado en las presentaciones del Curso de Enfoques Metodológicos de Fernando Cartes M.
FORMULARIO CÁLCULO INTEGRAL FORMULARIO CÁLCULO INTEGRAL FORMULARIO CÁLCULO Fórmulas de derivación.
Nombre: Christopher Ortega Espinosa Julio Capa Tema: Multiprocesamiento FECHA: Diseño de Algoritmos Paralelos 18/Enero/
C y C99-374) seleccionados para forraje.
Gráficas lineales Área Académica: Licenciatura en Contaduría
Conjuntos Numéricos Matemática.
Modelado y Parametrización de una Planta Para Control de Niveles
. Primera Open Class Asignatura: Programación Estructurada Tema:
Titulo de Proyecto Semestre - Carrera.
Introducción a la Estructura de Datos
Rafael Asprilla Universidad de Panamá ,
Autor: Sergio Luque López
GRADO EN INGENIERÍA MECÁNICA AUTOR: Miguel Rueda Cuerda DIRIGIDO POR:
Aspectos Generales Todos los proyectos deben subir este documento como parte de la presentación, en la plataforma de postulación de proyectos. La presentación.
EL ÉXITO ES UNO PORCIENTO DE INSPIRACIÓN Y NOVENTA Y NUEVE PORCIENTO DE PERSEVERANCIA Thomas A. Edison (1847 – 1931)
Fundamentos de programación
CÓMO DESARROLLAR DESTREZAS CON CRITERIO DE DESEMPEÑO
Taller de Proyecto Otoño 2007
Por Cesar Cubillos, José Jiménez, Edward Riaño, Lizeth Lemus
TÍTULO AUTORES, FILIACIÓN Y ENCABEZADOS RESUMEN RESULTADOS IMÁGENES
MAESTRÍA EN CONTROL DE OPERACIONES Y GESTIÓN LOGÍSTICA
TÍTULO AUTORES, FILIACIÓN Y ENCABEZADOS RESUMEN RESULTADOS IMÁGENES
TRABAJO FINAL DE GRADO GRADO EN INGENIERÍA ELÉCTRICA
Diseño e implementación de un cuadricóptero controlado vía Android app
Revisión Sistemática y Meta-análisis
Data Encryption Standard (DES)
CONSEJO DEPARTAMENTAL CUSCO « Al servicio del ingeniero y la sociedad»
Red IRIS IV Foro de Movilidad
Modelo de Inventarios: Cantidad de Producción
Introducción Gestión de Procesos Tecnologías de Información y
Coloma Alonso, F. , Ángel Solanes Puchol* Universidad Miguel Hernández
LABORATORIO DE DINAMICA Y CONTROL DE PROCESOS INDUSTRIALES
ÁRBOLES El árbol es una estructura de datos muy importante en informática y en ciencias de la computación. Los árboles son estructuras no lineales,
CAPACIDAD DE DETECCION Y CORRECCION DE ERRORES
Curso de estadística aplicada
Gráficas Normas básicas de la representación gráfica
Estimación de la biomasa de raíces de cultivos anuales sembrados en hileras a partir de la consideración de su distribución espacial y diámetro de la.
Sabes Que es un ALGORITMO
Aspectos Generales Todos los proyectos deben subir este documento como parte de la presentación, en la plataforma de postulación de proyectos. La presentación.
Introducción a VLSI DINÁMICA.
Objetivos de alta precisión. Consideraciones especiales
PRESENTACIÓN ORAL Y DEFENSA EFICAZ DEL TRABAJO DE FIN DE GRADO
Transformadores de Medida Camilo Octavio Baez Ramos Subestaciones.
Mapeado: SLAM Grupo 4.
OBJETIVOS Definir el “índice de seguridad hospitalaria” y sus alcances. Describir los pasos para el cálculo del índice de seguridad hospitalario utilizando.
LA MATRIZ DE CONSISTENCIA
Introducción a los algoritmos
METODOS PARA ANALISIS DE TALUDES
Optimización de Procesos.
Expositores: María Gracia León Nelson Arol Ruiz
Dr. Carlomagno Araya Alpízar
Estrategias didácticas aplicadas en asignaturas de la carrera Matemática Estadística de la modalidad semipresencial de Educación a Distancia de la FACEN-UNA,
Bioquímica Experimental
PLANIFICACIÓN INTEGRADA DE TAREAS
Modelo para la estimación de costos de
Inteligencia Artificial
TÍTULO RESUMEN INTRODUCCIÓN METODOLOGÍA OBJETIVO RESULTADOS DISCUSIÓN
CAPACIDAD DE DETECCION Y CORRECCION DE ERRORES
Resultados Y DISCUSIÓN
AUTOR: SALGADO ESCOBAR STALIN SEBASTIAN DIRECTOR: ING. JOSE SANCHO
SISTEMA ROBÓTICO MÓVIL AUTÓNOMO COOPERATIVO PARA MAPEO 2D DE OBSTÁCULOS Y NIVELES DE TEMPERATURA EN UN AMBIENTE CONTROLADO Autor: Illanes Tibanlombo,
Dirección de correo Autor1, Autor2, Autor3
Bioquímica Experimental
Francisco García Barrios
Leandro Gabriel Alvarez Samaniego
UNIVERSIDAD AÚTONOMA DE SINALOA “Facultad de Informática Culiacán”
Transcripción de la presentación:

Acelerando el cálculo del orden de transparencia Ismel Martínez Díaz Carlos Miguel Legón Pérez COMPUMAT 2017

Introducción En la criptografía simétrica actual la S-caja es una primitiva fundamental de los cifradores de bloques. Es el objetivo de los principales ataques: ataques lineal y diferencial, y más recientemente, de los ataques de canal colateral (SCA: Side-channel attacks).

Introducción El orden de transparencia (TO: transparency order) fué propuesto por E. Prouff en el artículo ”DPA Attacks and S-Boxes” en el año 2005. E. Prouff recomienda que esta propiedad debe incorporarse como criterio de diseño en la búsqueda de buenas S-cajas utilizadas en algoritmos de cifrado de bloque en smart cards, independientemente de las contramedidas implementadas contra el ataque diferencial de potencia. S. Picek en ”Applications of Evolutionary Computation to Cryptology”, 2015, presenta a esta propiedad como una de las propiedades relevantes contra el ataque diferencial de potencia en el escenario de la computación evolutiva aplicada a la criptografía.

TO (transparency order) Como propiedad matemática asociada a una S-caja (𝐹: 𝔽 2 𝑛 → 𝔽 2 𝑚 ), el orden de transparencia pretende medir la resistencia ante un ataque de potencia multi-bit por diferencia de medias. Asume que el consumo de potencia responde a un modelo de distancia de Hamming. Su fórmula es:

Algoritmo trivial Complejidad temporal 𝑂( 2 𝑚 2 𝑛 2 𝑛 ) Complejidad 𝑂( 2 𝑚 2 𝑛 2 𝑛 ) Complejidad espacial 𝑂( 2 𝑚 )

Algoritmo rápido [Fan et al., 2008] Complejidad temporal 𝑂(𝑇 2 𝑛 2 𝑛 ) Complejidad espacial Nota: La estimación de la complejidad temporal puede hacerse más precisa si se tiene en cuenta el número promedio de veces que se realiza la poda en el paso 16. 𝑂( 2 𝑚 )

Redundancias y reformulación En el artículo ”Redefining the transparency order” [Chakraborty et al., 2015], se enuncian las redundancias en el cálculo del orden de transparencia. Se menciona otro resultado importante: trasladar la fórmula del TO a otra fórmula que depende de las componentes de la S-caja.

Resultado 1: Algoritmo directo Complejidad temporal 𝑂( 2 𝑛 2 𝑛 ) Complejidad espacial 𝑂( 2 𝑚 )

Resultados 2: Algoritmo de reformulación Complejidad temporal 𝑂( 2 𝑛 𝑚 2 𝑛 )

Resultado teórico (caso m = n) Temporal Espacial Trivial 23n 2n Rápido T22n Directo 22n Reformulación n22n

Resultados experimentales Nota: La implementación utilizada del algoritmo rápido es la presentada en la herramienta de Picek et al. SET (S-box Evaluation Tool, 2014) https://sidesproject.wordpress.com/publications/ Tamaño de las S-cajas Algoritmo R Algoritmo RF (menos memoria) Algoritmo D (más rápido) 8x8 0,030129 0,007176 0,000277 9x9 0.344017 0.033683 0.001221 10x10 1.973193 0.154756 0.005127

Conclusiones Gracias. ¿? Los algoritmos: Reformulación y Directo propuestos son más eficientes para el cálculo del orden de transparencia que el algoritmo Rápido cuando m = n.   Para optimizar el tiempo de ejecución se recomienda utilizar el algoritmo Directo mientras que para optimizar memoria se recomienda el algoritmo por Reformulación. Gracias. ¿?