Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal methods and theory of security
2
Security and privacy
2
Seguridad y privacidad
2
ARM Cortex M4
1
Compiladores
1
Criptografía
1
Ejecución simbólica
1
Emulación
1
Formalización de hardware
1
Fuzz testing
1
Fuzzing
1
Jasmin
1
Lenguajes de programación
1
Logic and verification
1
Lógica y verificación
1
Métodos formales y teoría de seguridad
1
Pruebas de Fuzz
1
Testing
1
Verificación
1
-
1por Arranz Olmos, SantiagoMaterias: “...Formal methods and theory of security...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Aznarez Rojo, GastónMaterias: “...Formal methods and theory of security...”
Publicado 2024
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis