Security and privacy Seguridad y privacidad 4 Formal methods and theory of security 2 ARM Cortex M4 1 Assembler 1 Binaries 1 Binarios 1 Comparación 1 Comparison 1 Compiladores 1 Computer security 1 Criptografía 1 Detección de intrusiones, anomalías y mitigación del malware 1 Disco 1 Disk 1 Ejecución simbólica 1 Emulación 1 Formalización de hardware 1 Fuzz testing 1 Fuzzing 1 Indicadores de compromiso en binarios 1 Indicators of compromise in binaries 1 Ingeniería de seguridad de software 1 Ingeniería inversa del software 1 Intrusion, anomaly detection and malware mitigation 1 Jasmin 1 Lenguajes de programación 1 Logic and verification 1 Lógica y verificación 1 Malware and its mitigation 1