Matthew Brassil

According to our database, Matthew Brassil authored at least 2 papers between 2012 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

seL4: From General Purpose to a Proof of Information Flow Enforcement.

Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao, Gerwin Klein

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

2012

Noninterference for Operating System Kernels.

Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Gerwin Klein

Proceedings of the Certified Programs and Proofs - Second International Conference, 2012