seL4: Formal Verifizierte Software schützt vor Cyberattacken
June Andronick hat in der Sitzung die seL4-Multikernel näher vorgestellt. In ihrer Zeit bei der Trustworthy Systems Group der UNSW Sydney hat sie maßgeblich an der ursprünglichen Verifizierung mitgewirkt.
Die vollständige Aufzeichnung findet sich hier:
Unsere Rednerin
Dr. June Andronick ist die Geschäftsfüherin von Proofcraft. Sie lehrt außerdem an der UNSW Sydney und leitet die seL4 Foundation.