certifying

The Linux Foundation·46 min

• LINUX FOUNDATION
• Supply Chain
• Date: 2025
• Location: Linux Foundation

Paul Sherwood

Examines RAFIA - A Roadmap for Certifying Open Source for Use in Safety-Relevant Systems and evaluates key implications for security practitioners.

The Linux Foundation·45 min

• LINUX FOUNDATION
• Supply Chain
• Date: 2025
• Location: Linux Foundation

Stefano Stabellini · Bertrand Marquis

Reviews safety Certifying an Open Source Project: The Example of Xen and evaluates key implications for security practitioners.

IEEE Symposium on Security and Privacy·8 min

• IEEE SP
• Community
• Date: 2024
• Location: Ieee Sp

Refinement Types Junrui Liu

Industry experts analyze emerging threats surrounding 132 Certifying Zero Knowledge Circuits with Refinement Types Junrui Liu.