Formal Verification of Embedded Linux Systems Using Trace-Base... Benno Bielmeier & Wolfgang Mauerer
Explores formal Verification of Embedded Linux Systems Using Trace-Base... Benno Bielmeier & Wolfgang Mauerer and evaluates key implications for security practitioners.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
The Linux Foundation·40 min
Containers on the Edge: Deploying Embedded Linux Systems With Modern D... Tanya Sharma & Deep Kateja
Reviews containers on the Edge: Deploying Embedded Linux Systems With Modern D... Tanya Sharma & Deep Kateja and evaluates key implications for security practitioners.
The Linux Foundation·45 min
Olivier Benjamin
Presents navigating Security Tradeoffs in Embedded Linux Systems and evaluates key implications for security practitioners.
The Linux Foundation·36 min
Ajith P Venugopal
Outlines post-Quantum Cryptography (PQC) in Embedded Linux Systems and evaluates key implications for security practitioners.