| TÃtulo : |
Automated Methods in Cryptographic Fault Analysis |
| Tipo de documento: |
documento electrónico |
| Autores: |
Breier, Jakub, ; Hou, Xiaolu, ; Bhasin, Shivam, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2019 |
| Número de páginas: |
XXI, 334 p. 90 ilustraciones, 66 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-11333-9 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
Circuitos electrónicos Microprocesadores Arquitectura de Computadores Electrónica Circuitos y sistemas electrónicos Arquitecturas de procesador Electrónica y Microelectrónica Instrumentación |
| Ãndice Dewey: |
6.213.815 |
| Resumen: |
Este libro presenta una colección de métodos automatizados que son útiles para diferentes aspectos del análisis de fallas en criptografÃa. La primera parte se centra en el análisis automatizado de especificaciones de diseño de cifrado simétrico, implementaciones de software y circuitos de hardware. La segunda parte proporciona el despliegue automatizado de contramedidas. La tercera parte proporciona una evaluación automatizada de contramedidas contra ataques de fallas. Finalmente, la cuarta parte se centra en la automatización de experimentos de ataque a fallos. Los métodos presentados permiten a los desarrolladores de software, diseñadores de circuitos y criptógrafos probar y reforzar sus productos. Ofrece una perspectiva completa sobre la protección de cifrados en bloque contra ataques de fallas, desde el análisis hasta la implementación; Proporciona métodos automatizados para cada etapa, respaldados por evaluaciones y estudios de casos; Describe los enfoques actuales de análisis de fallas, junto con las contramedidas; Incluye una descripción detallada de prototipos para cada método de automatización que se pueden implementar y poner en aplicaciones industriales fácilmente. |
| Nota de contenido: |
Chapter 1. Introduction to Fault Analysis in Cryptography -- Part I. Automated Fault Analysis of Symmetric Block Ciphers -- Chapter 2. ExpFault: An Automated Framework for Block Cipher Fault Analysis -- Chapter 3. Exploitable Fault Space Characterization: A Complementary Approach -- Chapter 4. Differential Fault Analysis Automation on Assembly Code -- Chapter 5. An Automated Framework for Analysis and Evaluation of Algebraic Fault Attacks on Lightweight Block Ciphers -- Chapter 6. Automatic construction of fault attacks on cryptographic hardware implementations -- Part II. Automated Design and Deployment of Fault Countermeasures -- Chapter 7. Automated Deployment of Software Encoding Countermeasure -- Chapter 8. Idempotent Instructions to Counter Fault Analysis Attacks -- Chapter 9. Differential Fault Attack Resistant Hardware Design Automation -- Part III. Automated Analysis of Fault Countermeasures -- Chapter 10. Automated Evaluation of Software Encoding Schemes -- Chapter 11. Automated Evaluation of Concurrent Error Detection Code Protected Hardware Implementations -- Chapter 12. Fault Analysis Assisted by Simulation -- Part IV. Automated Fault Attack Experiments -- Chapter 13. Optimizing Electromagnetic Fault Injection with Genetic Algorithms -- Chapter 14. Automated Profiling Method for Laser Fault Injection in FPGAs. |
| En lÃnea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
Automated Methods in Cryptographic Fault Analysis [documento electrónico] / Breier, Jakub, ; Hou, Xiaolu, ; Bhasin, Shivam, . - 1 ed. . - [s.l.] : Springer, 2019 . - XXI, 334 p. 90 ilustraciones, 66 ilustraciones en color. ISBN : 978-3-030-11333-9 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Circuitos electrónicos Microprocesadores Arquitectura de Computadores Electrónica Circuitos y sistemas electrónicos Arquitecturas de procesador Electrónica y Microelectrónica Instrumentación |
| Ãndice Dewey: |
6.213.815 |
| Resumen: |
Este libro presenta una colección de métodos automatizados que son útiles para diferentes aspectos del análisis de fallas en criptografÃa. La primera parte se centra en el análisis automatizado de especificaciones de diseño de cifrado simétrico, implementaciones de software y circuitos de hardware. La segunda parte proporciona el despliegue automatizado de contramedidas. La tercera parte proporciona una evaluación automatizada de contramedidas contra ataques de fallas. Finalmente, la cuarta parte se centra en la automatización de experimentos de ataque a fallos. Los métodos presentados permiten a los desarrolladores de software, diseñadores de circuitos y criptógrafos probar y reforzar sus productos. Ofrece una perspectiva completa sobre la protección de cifrados en bloque contra ataques de fallas, desde el análisis hasta la implementación; Proporciona métodos automatizados para cada etapa, respaldados por evaluaciones y estudios de casos; Describe los enfoques actuales de análisis de fallas, junto con las contramedidas; Incluye una descripción detallada de prototipos para cada método de automatización que se pueden implementar y poner en aplicaciones industriales fácilmente. |
| Nota de contenido: |
Chapter 1. Introduction to Fault Analysis in Cryptography -- Part I. Automated Fault Analysis of Symmetric Block Ciphers -- Chapter 2. ExpFault: An Automated Framework for Block Cipher Fault Analysis -- Chapter 3. Exploitable Fault Space Characterization: A Complementary Approach -- Chapter 4. Differential Fault Analysis Automation on Assembly Code -- Chapter 5. An Automated Framework for Analysis and Evaluation of Algebraic Fault Attacks on Lightweight Block Ciphers -- Chapter 6. Automatic construction of fault attacks on cryptographic hardware implementations -- Part II. Automated Design and Deployment of Fault Countermeasures -- Chapter 7. Automated Deployment of Software Encoding Countermeasure -- Chapter 8. Idempotent Instructions to Counter Fault Analysis Attacks -- Chapter 9. Differential Fault Attack Resistant Hardware Design Automation -- Part III. Automated Analysis of Fault Countermeasures -- Chapter 10. Automated Evaluation of Software Encoding Schemes -- Chapter 11. Automated Evaluation of Concurrent Error Detection Code Protected Hardware Implementations -- Chapter 12. Fault Analysis Assisted by Simulation -- Part IV. Automated Fault Attack Experiments -- Chapter 13. Optimizing Electromagnetic Fault Injection with Genetic Algorithms -- Chapter 14. Automated Profiling Method for Laser Fault Injection in FPGAs. |
| En lÃnea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |
Automated Methods in Cryptographic Fault Analysis
