seL4: Formally Verified Software protects from Cyber Attacks
June Andronick gives an insight to the seL4 kernel. During her time at the Trustworthy Systems group at the UNSW Sydnes, she contributed to the original seL4 verification.
The full recording can be found here:
Our speaker
Dr. June Andronick is the CEO of Proofcraft. She is a Conjoint Professor at UNSW Sydney and also CEO of the seL4 Foundation.