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...

Full description

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
Acceso en línea:
https://noesis.uis.edu.co/handle/20.500.14071/11869
https://noesis.uis.edu.co
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)