Security: Making the unknown, known
How to combine formal and dynamic verification within an app to uncover security vulnerabilities.
design for security
Delivering on security for Linux-based medical devices
How should you address the monitoring and resource challenges in maintaining security for Linux devices.