Andrew Boyton - Graduate Researcher
Trustworthy Embedded Systems Project
Research Interests
Andrew is interested in proving computer programs to work the way that they should. Currently he is proving security properties of the seL4 microkernel and examining how these security properties can be used by systems running on seL4.
NICTA Projects
Andrew is involved in the L4.verified project, as part of NICTA's Embedded Real-time and Operating Systems (ERTOS) research group.
Qualifications
Andrew has a combined Bachelor of Engineering (Software Engineering) and Bachelor of Science (Pure Mathematics) degree from UNSW.
Contact Details
| Phone: | +61 2 02 8306 0781 |
|---|---|
| Email: | Andrew.Boyton@nicta.com.au |
| Web: | http://www.cse.unsw.edu.au/~aboyton |
More contact information is available at the ERTOS Contacts page.
Publications
NICTA Papers
2009
|
 |
Andrew Boyton A verified shared capability model Proceedings of the 4th Workshop on Systems Software Verification, Aachen, Germany, October, 2009 |