1Contributors 2------------ 3 4People who contributed to the seL4 proofs in this repository (in alphabetical 5order). 6 7* June Andronick, Data61, NICTA & UNSW 8* Callum Bannister, Data61, NICTA 9* Joel Beeren, Data61, NICTA 10* Nelson Billing, NICTA 11* Bernard Blackham, NICTA & UNSW 12* Timothy Bourke, NICTA 13* Andrew Boyton, NICTA & UNSW 14* Matthew Brassil, NICTA 15* Matthew Brecknell, Data61, NICTA 16* David Cock, NICTA & UNSW 17* Matthias Daum, NICTA & UNSW 18* Jeremy Dawson, NICTA 19* Philip Derrin, NICTA 20* Cornelius Diekmann, TUM 21* Dhammika Elkaduwe, NICTA & UNSW 22* Kai Engelhardt, NICTA & UNSW 23* Matthew Fernandez, Data61, NICTA & UNSW 24* Peter Gammie, NICTA 25* Xin Gao, Data61, NICTA 26* Dean Garden, NICTA 27* Gianpaolo Gioiosa, NICTA 28* Alejandro Gomez-Londono, Data61, NICTA 29* David Greenaway, NICTA & UNSW 30* Rohan Jacob-Rao, NICTA 31* Gerwin Klein, Data61, NICTA & UNSW 32* Rafal Kolanski, Data61, NICTA & UNSW 33* Ramana Kumar, Data61, NICTA 34* Corey Lewis, Data61, NICTA 35* Japheth Lim, NICTA 36* Tran Ma, NICTA 37* Daniel Matichuk, Data61, NICTA & UNSW 38* Jia Meng, NICTA 39* Catherine Menon, NICTA 40* Toby Murray, Data61, NICTA & UNSW 41* Magnus Myreen, University of Cambridge & NICTA 42* Michael Norrish, Data61, NICTA & ANU 43* Lars Noschinski, TUM 44* Liam O'Connor, NICTA 45* Corey Richardson, Data61, NICTA 46* Sean Seefried, NICTA 47* Thomas Sewell, Data61, NICTA & UNSW 48* Rupert Shuttleworth, NICTA 49* Miki Tanaka, Data61, NICTA 50* Vernon Tang, NICTA 51* Sophie Taylor, Data61, NICTA 52* David Tsai, NICTA 53* Harvey Tuch, NICTA & UNSW 54* Simon Winwood, NICTA 55* Nickolai Zeldovich, MIT 56