Proofcraft presented a talk at the seL4 summit by Ryan Barry on proof of the seL4 security proofs on AArch64
Public source
Publisher name
Public post
Great talk from Ryan Barry at the seL4 summit on Proofcraft's proof of the seL4 security proofs on AArch64.
Company
Proofcraft
Commercial support, verification projects, training and consulting in formal software verification.
- Industry
- Software Development
- Location
- Sydney, AU
- Company size
- 2–10 employees
About Proofcraft
We offer commercial support, verification projects, training and consulting in formal software verification in general and the seL4 microkernel in particular.
See moreLatest activity
Latest activity from Proofcraft
3 signals
Discover more
Similar signals
Similar public activity from other companies.
Presence & Recognition
Kry10
Kry10 was well represented at this year's seL4 Foundation Summit in Vancouver alongside Martin D. and Ihor Kuz.
Presence & Recognition
DornerWorks
DornerWorks is attending the seL4 Summit in Vancouver this week to showcase VM Composer as a visual modeling tool designed to simplify the process of designing and building complex virtualized architectures on top of the seL4 Microkernel.
Presence & Recognition
Solid Sands
Solid Sands participated in the IEEE Intelligent Transportation Systems Society event in Naples, Italy, with a workshop titled Compiler Safety and Verification for Intelligent Transportation Systems and an industry track titled Continuous Qualification of C/C++ Toolchains.
Presence & Recognition
emproof
emproof hosted a REcon Montréal 2026 talk featuring Nicolò Altamura and Tim Blazytko discussing how to orchestrate agents to tackle control-flow and data obfuscation, strong VM-based protections, and interprocedural transformations.
Presence & Recognition
Rapita Systems