How to combine formal and dynamic verification within an app to uncover security vulnerabilities.
How should you address the monitoring and resource challenges in maintaining security for Linux devices.
Using a hardware root of trust and a secure development lifecycle process to form the basis of a better approach to developing and implementing more secure complex SoCs.
Doc Formal describes a strategy developed by his company Axiomise to apply formal verification proofs to open-source processor for safety, security and reliability.
The computational and algorithmic demands made by computer vision systems highlight HLS' value for AI system development.
If we thought about verfication-for-security in a different way, the Spectre and Meltdown vulnerabilities could well have been avoided.
The assumption has been that extra security eats into profit margins. But with some lateral thinking it can actually improve the bottom line.
This second part looks at Mentor's views on flow neutrality, how DRS360 was born, machine learning and the threat from embedded Trojans.
When developing its security guidelines and checklists for consumer IoT and similar devices, the IoT Security Foundation's working groups tested their recommendations against what is known about real-world hacks and attacks.
Achieving IoT security means addressing every link in the chain, from the quality of your application code to embedding a root of trust in the hardware.
View All Sponsors