People who contributed to the seL4 proofs in this repository (in alphabetical order).
- June Andronick, Data61, NICTA & UNSW
- Callum Bannister, Data61, NICTA
- Joel Beeren, Data61, NICTA
- Nelson Billing, NICTA
- Bernard Blackham, NICTA & UNSW
- Timothy Bourke, NICTA
- Andrew Boyton, NICTA & UNSW
- Matthew Brassil, NICTA
- Matthew Brecknell, Data61, NICTA
- David Cock, NICTA & UNSW
- Matthias Daum, NICTA & UNSW
- Jeremy Dawson, NICTA
- Philip Derrin, NICTA
- Cornelius Diekmann, TUM
- Dhammika Elkaduwe, NICTA & UNSW
- Kai Engelhardt, NICTA & UNSW
- Matthew Fernandez, Data61, NICTA & UNSW
- Peter Gammie, NICTA
- Xin Gao, Data61, NICTA
- Dean Garden, NICTA
- Gianpaolo Gioiosa, NICTA
- Alejandro Gomez-Londono, Data61, NICTA
- David Greenaway, NICTA & UNSW
- Rohan Jacob-Rao, NICTA
- Gerwin Klein, Data61, NICTA & UNSW
- Rafal Kolanski, Data61, NICTA & UNSW
- Ramana Kumar, Data61, NICTA
- Corey Lewis, Data61, NICTA
- Japheth Lim, NICTA
- Tran Ma, NICTA
- Daniel Matichuk, Data61, NICTA & UNSW
- Jia Meng, NICTA
- Catherine Menon, NICTA
- Toby Murray, Data61, NICTA & UNSW
- Magnus Myreen, University of Cambridge & NICTA
- Michael Norrish, Data61, NICTA & ANU
- Lars Noschinski, TUM
- Liam O'Connor, NICTA
- Corey Richardson, Data61, NICTA
- Sean Seefried, NICTA
- Thomas Sewell, Data61, NICTA & UNSW
- Rupert Shuttleworth, NICTA
- Miki Tanaka, Data61, NICTA
- Vernon Tang, NICTA
- Sophie Taylor, Data61, NICTA
- David Tsai, NICTA
- Harvey Tuch, NICTA & UNSW
- Simon Winwood, NICTA
- Nickolai Zeldovich, MIT