
Design and formal verification of security mechanisms against fault-injection attacks
Design and formal verification of security mechanisms against fault-injection attacks
Computer Science
Information Technology
Cybersecurity
Fault Tolerance
Software Engineering
Information Security
Microarchitecture
Hardware Engineering
Formal Methods
Enfermería
Hardware Security


