Trustworthy Systems

Zoltan Kocsis
Adjunct Lecturer

Research Interests

Zoltan, a non-standard analyst by training, working on the correctness proof seL4-based OS code.

Contact Details

Email:Z.Kocsis@unsw.edu.au

More contact information is available at the Contact page.

Photo of Zoltan Kocsis

Publication List

Projects

Current

Past

Publications

Trustworthy Systems Group Papers

2024

Abstract PDF Trudy Weibel, Zoltan Kocsis, Mathieu Paturel, Rob Sison, Isitha Subasinghe and Gernot Heiser
Verifying the seL4 Microkit
https://trustworthy.systems/publications/papers/Weibel_KPSSH_24.pdf, June, 2024