Delivering on security for Linux-based medical devices
How should you address the monitoring and resource challenges in maintaining security for Linux devices.
safety
A new formal proof kit for RISC-V processors
Doc Formal describes a strategy developed by his company Axiomise to apply formal verification proofs to open-source processor for safety, security and reliability.
PLATINUM SPONSORS
View All Sponsors