Resumen

SKINNY es un algoritmo de cifrado de bloques ligero y ajustable. Para probar su seguridad, este documento realiza un análisis óptimo de búsqueda de trazas diferenciales en todas las versiones SKINNY-64 en un entorno de clave única basado en el algoritmo MILP (Programación Lineal de Enteros Mixtos). En primer lugar, la función de ronda de SKINNY se abstrae de manera equivalente mediante restricciones precisas, y la función objetivo se establece como el número mínimo de cajas S activas para optimizar el modelo MILP de SKINNY-64. Los experimentos muestran que la traza diferencial encontrada por este método no es necesariamente óptima. Para buscar directamente la traza diferencial óptima, se agrega la información de codificación de probabilidad diferencial de las cajas S al modelo MILP optimizado de SKINNY-64, se reconstruye la característica diferencial de las cajas S, y la función objetivo se establece en el valor mínimo de la información de codificación de probabilidad, lo que mejora el modelo MILP de SKIN

• Materias:Seguridad informática Comunicación inalámbrica Internet de las cosas Ataques de denegación distribuida de servicio
• Subjects:Computer security Wireless communication Internet of things Distributed denial of service attacks
• Palabras claves:Modificable; Ligero; Cifrado por bloques; Búsqueda diferencial de pistas; Algoritmo MILP; S-box
• Keywords:Tweakable; Lightweight; Block cipher; Differential trail search; MILP algorithm; S-box