FORTUNAA framework for the design and development of hardware-based secure systems
We extended and validated the logic-probabilistic security framework FORTUNA. We could conduct security analysis semi-automatically on hardware-based systems. With the tool we found an novel architectural flaw on the SPARC V8, V9 processor.
hardware-based security information security formal methods for security security metrics security evaluation tool