Ofuscación de circuitos y estrategias de bajo sobrecosto en Systemas-en-Chip formalmente definidos
Los diferentes circuitos electrónicos de consumo son susceptibles a diferentes tipos de ataques que pueden comprometer la autenticación y seguridad de los datos. Para circuitos digitales y sistemas de señal mixta, se utilizan celdas estándar para integrar el sistema con automatización de diseño elec...
- Autores:
-
Durán Blanco, Ckristian Ricardo Esteban
- Tipo de recurso:
- Doctoral thesis
- Fecha de publicación:
- 2022
- Institución:
- Universidad Industrial de Santander
- Repositorio:
- Repositorio UIS
- Idioma:
- eng
- OAI Identifier:
- oai:noesis.uis.edu.co:20.500.14071/11869
- Palabra clave:
- Obfuscación de Circuitos
Celdas estándar
Seguridad embebida
AES
SAT
Verificación formal
Verificación funcional
Circuit Obfuscation
Standard Cells
Embedded Security
AES
SAT
Formal Verification
Functional Verification
- Rights
- openAccess
- License
- Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)