People who contributed to the seL4 proofs in this repository (in alphabetical order).
- Sidney Amani, Data61
- June Andronick, Data61, NICTA & UNSW
- Callum Bannister, Data61, NICTA
- Santiago Bautista, Data61
- Joel Beeren, Data61, NICTA
- Nelson Billing, NICTA
- Bernard Blackham, NICTA & UNSW
- Timothy Bourke, NICTA
- Andrew Boyton, NICTA & UNSW
- Maksym Bortin, Data61
- Matthew Brassil, NICTA
- Matthew Brecknell, Data61, NICTA
- Mitchell Buckley, Data61
- David Cock, NICTA & UNSW
- Adrian Danis, Data61
- 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
- Milad Ketabi, Data61
- Gerwin Klein, Data61, NICTA & UNSW
- Rafal Kolanski, Data61, NICTA & UNSW
- Zoltan Kocsis, Data61
- Ramana Kumar, Data61, NICTA
- Corey Lewis, Data61, NICTA
- Japheth Lim, Data61, NICTA
- Pang Luo, Data61
- Anna Lyons, Data61
- Tran Ma, NICTA
- Daniel Matichuk, Data61, NICTA & UNSW
- Michael McInerney, Data61
- Jia Meng, NICTA
- Catherine Menon, NICTA
- Luke Mondy, Data61
- Toby Murray, Data61, NICTA & UNSW
- Magnus Myreen, University of Cambridge & NICTA
- Michael Norrish, Data61, NICTA & ANU
- Lars Noschinski, TUM
- Liam O'Connor, NICTA
- Thibaut Perami, Data61
- Victor Phan, Data61
- Edward Pierzchalski, Data61
- Johannes Åman Pohjola, Data61
- Corey Richardson, Data61, NICTA
- Sean Seefried, NICTA
- Thomas Sewell, Data61, NICTA & UNSW
- Michael Sproul, Data61
- Rupert Shuttleworth, NICTA
- Robert Sison, The University of Melbourne
- Miki Tanaka, Data61, NICTA
- Vernon Tang, NICTA
- Sophie Taylor, Data61, NICTA
- David Tsai, NICTA
- Harvey Tuch, NICTA & UNSW
- Simon Winwood, NICTA
- Ilya Yanok
- Amirreza Zarrabi, Data61
- Nickolai Zeldovich, MIT