Microelectronics Data Security: Better with Formal Methods

Whether you are developing Systems-on-Chip (SoCs) for mobile and wearables, automotive, aerospace, defense, data centers, or entertainment, securing your proprietary data and customers’ information is critical to your company’s long-term success. Hackers can exploit vulnerabilities in these systems — at the network, system, device, or chip levels. As SoC designs get more complex, this 30-minute Webinar aims to show chip designers how they can best ensure secure data is handled correctly inside the chip while reducing deployment time.

This webinar will help attendees understand:

• The role of formal methods for security verification
• The key challenges of formal verification and why addressing them is critical
• How to ensure information flow tracking verifies data integrity and leakage issues
• How a next-generation formal verification solution is helping users analyze and debug the root cause of security violations

An audience Q&A session will follow the technical presentation.