Formal Modelling and Proof in the CHERI Design and Implementation Process

CommunityIEEE Symposium on Security and Privacy15 minOpen on YouTube ↗

Engineers explore architecture and security mechanisms for Formal Modelling and Proof in the CHERI Design and Implementation Process.

Summary

No summary yet — watch the video above, or open it on YouTube.

Related talks

IEEE Symposium on Security and Privacy·15 min

IEEE SP
Community
Date: 2025
Location: Ieee Sp

An I/O Separation Model for Formal Verification of Kernel Implementations

Engineers explore architecture and security mechanisms for An I/O Separation Model for Formal Verification of Kernel Implementations.

kernelseparationmodel+3

IEEE Symposium on Security and Privacy·19 min

IEEE SP
Community
Date: 2025
Location: Ieee Sp

Virtual Proofs of Reality and their Physical Implementation

Analysts investigate attack surfaces and defenses concerning Virtual Proofs of Reality and their Physical Implementation.

virtualproofreality+3

IEEE Symposium on Security and Privacy·16 min

IEEE SP
Community
Date: 2024
Location: Ieee Sp

415 SoK Efficient Design and Implementation of Polynomial Hash Functions over Prime Fields Jan G

Industry experts analyze emerging threats surrounding 415 SoK Efficient Design and Implementation of Polynomial Hash Functions over Prime Fields Jan G.

efficientdesignimplementation+3